Refine your search

Your search returned 97 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.
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 .
3.
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 .
4.
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 .
5.
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 .
6.
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 .
7.
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 .
8.
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 .
9.
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 .
10.
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 .
11.
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 .
12.
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.).

by International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland) | Richter-Gebert, Jürgen, 1963- | Wang, Dongming.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / Franz Baader (ed.).

by International Conference on Automated Deduction (19th : 2003 : Miami Beach, Fla.) | Baader, Franz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings / Manuel Kauers [and others] (eds.).

by Calculemus (Symposium) (14th : 2007 : Hagenberg im Mühlkreis, Austria) | Kauers, Manuel | MKM (Conference) (6th : 2007 : Hagenberg im Mühlkreis, Austria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Calculemus 2007 | MKM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings / Frank Pfenning (ed.).

by International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) | Pfenning, Frank.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CADE-21 | CADE-twenty-one | 21st International Conference on Automated Deduction | Twenty-first International Conference on Automated Deduction | International Conference on Automated Deduction.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings / Boris Konev, Frank Wolter (eds.).

by FroCoS (Symposium) (6th : 2007 : Liverpool, England) | Konev, Boris | Wolter, Frank.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FroCos 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers / Francisco Botana, Tomas Recio (eds.).

by International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain) | Botana, Francisco | Recio, T. (Tómas), 1949-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ADG 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / Raoul Medina, Sergei Obiedkov (eds.).

by International Conference on Formal Concept Analysis (6th : 2008 : Montréal, Québec) | Medina, Raoul | Obiedkov, Sergei.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: ICFCA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Artificial Intelligence and Symbolic Computation.

by Calmet, Jacques | Plaza, Jan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.).

by International Conference on Automated Deduction (16th : 1999 : Trento, Italy) | Ganzinger, H. (Harald), 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha