Refine your search

Your search returned 2125 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.). by Series: Lecture notes in computer science ; 1433. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • ICGI-98, grammatical inference
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
182.
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.). by Series: Lecture notes in computer science ; 1551.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
183.
184.
185.
186.
Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings / James Cussens, Alan Frisch (eds). by Series: Lecture notes in computer science ; 1866. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
187.
188.
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego [and others] (eds). by Series: Lecture notes in computer science ; 1919. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
189.
Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / N.E. Fuchs (ed.). by Series: Lecture notes in computer science ; 1463.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 1998
Other title:
  • LOPSTR'97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
190.
191.
Challenges for action theories / Michael Thielscher. by Series: Lecture notes in computer science ; 1775. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
192.
Part-whole reasoning in an object-centered framework / Patrick Lambrix. by Series: Lecture notes in computer science ; 1771. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
193.
Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds). by Series: Lecture notes in computer science ; 1471. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • LPKR '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
194.
Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents / Gabriele Kern-Isberner. by Series: Lecture notes in computer science ; 2087. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
195.
196.
Learning language in logic / James Cussens, Sašo Džeroski, (eds.). by Series: Lecture notes in computer science ; 1925. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
197.
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.). by Series: Lecture notes in computer science ; 2250. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Berlin ; Heidelberg : Springer, ©2001
Other title:
  • LPAR 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
198.
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Philippe Codognet (ed.). by Series: Lecture notes in computer science ; 2237.
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Berlin ; Heidelberg : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
199.
200.
Pages

Powered by Koha