|
|
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; 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.
|
|
|
|
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; Format:
available online
 ; 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.
|
|
|
|
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; Format:
available online
; 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.
|
|
|
|
7.
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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.
|
|
|
|
11.
|
|
|
|
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; Format:
available online
; 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.
|
|
|
|
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; Format:
available online
; 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.
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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.
|
|
|
|
20.
|
|