Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1533 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1533

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

book Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

pdf

Author: David Lorge Parnas (auth.) Gérard Berry Hubert Comon Alain Finkel (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

pdf

Author: Matthew M. Huntbach Graem A. Ringwood (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

pdf

Author: Franz Baader Barış Sertkaya (auth.) Sébastien Ferré Sebastian Rudolph (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

pdf

Author: Kokichi Futatsugi (auth.) Zhenjiang Hu Mario Rodríguez-Artalejo (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0