Refine your search

Your search returned 335 results.

Not what you expected? Check for suggestions
1.
Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.).

by Honavar, Vasant | Slutzki, Giora | International Colloquium on Grammatical Inference (4th : 1998 : Ames, Iowa).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: ICGI-98, grammatical inference.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey, (eds.).

by TPHOLs (11th : 1998 : Canberra, A.C.T.) | Grundy, J. (Jim), 1968- | Newey, Malcolm Charles.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego [and others] (eds).

by Ojeda-Aciego, Manuel, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Learning language in logic / James Cussens, Sašo Džeroski, (eds.).

by Cussens, James | Džeroski, Sašo, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet [and others] (eds.).

by AISC (Conference) (6th : 2002 : Marseille, France) | Calmet, Jacques | Calculemus 2000 (2002 : Marseille, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / Alessandro Armando (ed.).

by FroCoS (Symposium) (4th : 2002 : Santa Margherita Ligure, Italy) | Armando, Alessandro.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, the Netherlands, September 23-25, 2002 : proceedings / Pieter Adriaans, Henning Fernau, Menno van Zaanen (eds.).

by International Colloquium on Grammatical Inference (6th : 2002 : Amsterdam, Netherlands) | Adriaans, Pieter | Fernau, Henning, 1965- | Zaanen, Menno van, 1972-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings / Sergio Flesca [and others] (eds.).

by JELIA (Conference) (8th : 2002 : Cosenza, Italy) | Flesca, Sergio, 1971-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Automata logics, and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).

by Grädel, Erich, 1958- | Thomas, Wolfgang, 1947- | Wilke, Thomas, 1965- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).

by International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria) | Winkler, Franz, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: ADG 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings / José Júlio Alfered, João Leite (eds.).

by JELIA (Conference) (9th : 2004 : Lisbon, Portugal) | Alferes, José Júlio | Leite, João Alexandre.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: JELIA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday / Wolfgang Lenski (ed.).

by Lenski, Wolfgang, 1952- | LINK (Online service).

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings / Bruno Buchberger, John A. Campbell (eds.).

by AISC (Conference) (7th : 2004 : Linz, Austria) | Buchberger, Bruno | Campbell, John A. (John Arthur), 1940- | LINK (Online service).

Material type: Text Text; Format: available online remote Publisher: Berlin : Springer, 2004Other title: AISC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings / Georgios Paliouras, Yasubumi Sakakibara (eds.).

by International Colloquium on Grammatical Inference (7th : 2004 : Athens, Greece) | Paliouras, Georgios, 1970- | Sakakibara, Yasubumi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings / Peter Eklund (ed.).

by International Conference on Formal Concept Analysis | Eklund, Peter W, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Formal concept analysis : foundations and applications / Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.).

by Ganter, Bernhard | Stumme, Gerd, 1967- | Wille, Rudolf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski.

by Bibel, W, 1938- [edt] | Kowalski, Robert (Robert A.) [edt] | Conference on Automated Deduction (5 : 08-07-1980 - 11-07-1980 : Les Arcs, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1980Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

by Börger, E. (Egon), 1946- [edt] | Kleine Büning, H. (Hans) [edt] | Richter, Michael M, 1938- [edt] | Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.

by Kirchner, Claude [edt] | International Conference on Automated Deduction, CADE (15 : 05-07-1998 - 10-07-1998 : Lindau, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1998Other title: Automated deduction | CADE-15.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings / Andrei Voronkov (ed.).

by LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [edt].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : SpringerVerlag, ©1993Other title: LPAR '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha