Your search returned 59 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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 Series: Lecture notes in computer science ; 1479.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
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
3.
Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / Lech Polkowski, Andrzej Skowron, (eds.). by Series: Lecture notes in computer science ; 1424. | 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:
  • RSCTC '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Text, speech, and dialogue : 5th International Conference, TSD 2002, Brno, Czech Republic, September 9-12, 2002 : proceedings / Petr Sojka, Ivan Kopeček, Karel Pala, eds. by Series: Lecture notes in computer science ; 2448. | 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, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
6.
Intelligent tutoring systems : 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30-September 3, 2004 : proceedings / James C. Lester, Rosa Maria Vicari, Fábio Paraguaçu (eds.). by Series: Lecture notes in computer science ; 3220.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11316176
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • 7th International Conference, ITS
  • Seventh International Conference, ITS
  • International Conference, ITS
  • ITS 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.). by Series: Lecture notes in computer science ; 859.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Advances in artificial intelligence : 13th Brazilian symposium on artificial intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings / Díbio L. Borges, Celso A.A. Kaestner (eds.). by Series: Lecture notes in computer science ; 1159. | 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 : Springer, ©1996
Other title:
  • SBIA '96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
11.
12.
Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings / William Tepfenhart, Walling Cyre (eds.). by Series: Lecture notes in computer science ; 1640. | 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, 1999
Other title:
  • ICCS'99
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Computational intelligence : theory and applications : international conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999 : proceedings / Bernd Reusch (ed.). by Series: Lecture notes in computer science ; 1625.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Foundations of fuzzy logic and soft computing : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007 : proceedings / Patricia Melin [and others] (eds.). by Series: Lecture notes in computer science ; 4529. | 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, ©2007
Other title:
  • 12th International Fuzzy Systems Association World Congress
  • Twelfth International Fuzzy Systems Association World Congress
  • International Fuzzy Systems Association World Congress
  • IFSA 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
16.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.). by Series: Lecture notes in computer science ; 1617. | 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, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Artificial intelligence and simulation : 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers / Tag Gon Kim (ed.). by Series: Lecture notes in computer science ; 3397. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11382393
Publisher: Berlin ; New York : Springer, ©2005
Other title:
  • 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems
  • Thirteenth International Conference on AI, Simulation, and Planning in High Autonomy Systems
  • International Conference on AI, Simulation, and Planning in High Autonomy Systems
  • International Conference on Artificial Intelligence, Simulation, and Planning in High Autonomy Systems
  • AIS 2004
  • AI, simulation, and planning in high autonomy systems
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Machine learning -- ECML 2005 : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005 : proceedings / João Gama [and others] (eds.). by Series: Lecture notes in computer science ; 3720. | 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, ©2005
Other title:
  • Machine learning
  • ECML 2005
  • 16th European Conference on Machine Learning
  • Sixteenth European Conference on Machine Learning
  • European Conference on Machine Learning
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
20.
Theory and applications of relational structures as knowledge instruments II : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers / Harrie de Swart [and others] (eds.). by Series: Lecture notes in computer science ; 4342. | 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, ©2006
Other title:
  • COST Action 274 TARSKI 2002-2005
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha