Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Mathematical Logic and Formal Langua » Page 1394 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Mathematical Logic and Formal Langua » Page 1394

book Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

pdf

Author: Paolo Baldan Paolo Mancarella Alessandra Raffaetà Franco Turini (auth.) Antonis C. Kakas Fariba Sadri (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Algorithmic Learning Theory: 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings

Algorithmic Learning Theory: 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings

pdf

Author: Sanjay Jain Hans Ulrich Simon Etsuji Tomita (auth.) Sanjay Jain Hans Ulrich Simon Etsuji Tomita (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

pdf

Author: Franz Baader Ulrike Sattler (auth.) Roy Dyckhoff (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Agents and Peer-to-Peer Computing: Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers

Agents and Peer-to-Peer Computing: Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers

pdf

Author: Beng Chin Ooi Wee Siong Ng Kian-Lee Tan AoYing Zhou (auth.) Gianluca Moro Claudio Sartori Munindar P. Singh (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

djvu

Author: Egon Börger Dean Rosenzweig (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

pdf

Author: Vladimir Lifschitz (auth.) Stephen Muggleton Ramon Otero Alireza Tamaddoni-Nezhad (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings

Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings

pdf

Author: Peter Selinger (auth.) Yukiyoshi Kameyama Peter J. Stuckey (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,

Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,

pdf

Author: Georgi Dimov Dimiter Vakarelov (auth.) Wendy MacCaull Michael Winter Ivo Düntsch (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

pdf

Author: Alain Colmerauer (auth.) Peter J. Stuckey (eds.)
Language: English
Year: 2008

00

26.01.2024

3

0

book Hierarchical Neural Networks for Image Interpretation

Hierarchical Neural Networks for Image Interpretation

pdf

Author: Sven Behnke (auth.)
Language: English
Year: 2003

00

26.01.2024

0

0