Your search returned 638 results.

Sort
Results
21.
22.
Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

23.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings / edited by Asaf Adi, Suzette Stoutenburg, Said Tabet. by Series: Lecture Notes in Computer Science ; 3791
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.76.H94 A35 2005.

24.
25.
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä. by Series: Lecture Notes in Computer Science ; 4670
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.63 D34 2007.

26.
27.
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Series: Lecture Notes in Computer Science ; 5195
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: QA76.9.A96 A76 2008.

28.
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / edited by Kamal Lodaya, Meena Mahajan. by Series: Lecture Notes in Computer Science ; 3328
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.751 L63 2005.

29.
Fuzzy-Neuro Approach to Agent Applications [electronic resource] : From the AI Perspective to Modern Ontology / by Raymond S. T. Lee. by Series: Springer Series in Agent Technology
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.I58 L44 2006 .

30.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. by Series: Progress in Computer Science and Applied Logic (PCS) ; 8
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 S36 2008.

31.
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum. by Series: Lecture Notes in Computer Science ; 3396
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.76.I58 E35 2005.

32.
33.
34.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4246
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: QA76.63 H47 2006.

35.
36.
37.
Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings / edited by Nader H. Bshouty, Claudio Gentile. by Series: Lecture Notes in Computer Science ; 4539
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: Q325.5 B74 2007.

38.
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. by Series: Lecture Notes in Computer Science ; 4019
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.758 J64 2006.

39.
40.
Pages

Powered by Koha