Your search returned 201 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
Computational Logic in Multi-Agent Systems [electronic resource] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / edited by João Leite, Paolo Torroni. by Series: Lecture Notes in Computer Science ; 3487
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 L45 2005.

Place hold Add to cart
162.
Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter. by Series: Lecture Notes in Computer Science ; 4720
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.A1 K66 2007.

Place hold Add to cart
163.
164.
Logics in Artificial Intelligence [electronic resource] : 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / edited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa. by Series: Lecture Notes in Computer Science ; 4160
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 F57 2006.

Place hold Add to cart
165.
166.
Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta. by Series: Lecture Notes in Computer Science ; 3668
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 G33 2005.

Place hold Add to cart
167.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings / edited by Khaled Mellouli. by Series: Lecture Notes in Computer Science ; 4724
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 M45 2007.

Place hold Add to cart
168.
Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / edited by Ron Meyden, Leendert Torre. by Series: Lecture Notes in Computer Science ; 5076
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q75.5 M49 2008.

Place hold Add to cart
169.
Machine Learning: ECML 2006 [electronic resource] : 17th European Conference on Machine Learning Berlin, Germany, September 18-22, 2006 Proceedings / edited by Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou. by Series: Lecture Notes in Computer Science ; 4212
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q325.5 F87 2006.

Place hold Add to cart
170.
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang. by Series: Lecture Notes in Computer Science ; 3763
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA448.D38 H66 2006.

Place hold Add to cart
171.
172.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf. by Series: Lecture Notes in Computer Science ; 4483
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 B37 2007.

Place hold Add to cart
173.
Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni. by Series: Lecture Notes in Computer Science ; 4371
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 I56 2007.

Place hold Add to cart
174.
Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings / edited by Rosina O. Weber, Michael M. Richter. by Series: Lecture Notes in Computer Science ; 4626
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.E95 W43 2007.

Place hold Add to cart
175.
Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings / edited by Lou Goble, John-Jules Ch. Meyer. by Series: Lecture Notes in Computer Science ; 4048
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q75.5 G63 2006.

Place hold Add to cart
176.
Constraint Handling Rules [electronic resource] : Current Research Topics / edited by Tom Schrijvers, Thom Frühwirth. by Series: Lecture Notes in Computer Science ; 5388
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.612 S37 2008.

Place hold Add to cart
177.
Scalable Uncertainty Management [electronic resource] : First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings / edited by Henri Prade, V. S. Subrahmanian. by Series: Lecture Notes in Computer Science ; 4772
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q375 P73 2007.

Place hold Add to cart
178.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Series: Lecture Notes in Computer Science ; 4144
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 B35 2006.

Place hold Add to cart
179.
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers / edited by Balder D. Cate, Henk W. Zeevat. by Series: Lecture Notes in Computer Science ; 4363
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 C38 2007.

Place hold Add to cart
180.
Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill. by Series: Lecture Notes in Computer Science ; 3901
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 H55 2006.

Place hold Add to cart
Pages

Powered by Koha