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

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

book Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

pdf

Author: Baoqiu Cui Yifei Dong Xiaoqun Du (auth.) Catuscia Palamidessi Hugh Glaser Karl Meinke (eds.)
Language: English
Year: 1998

00

26.01.2024

2

0

book Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

pdf

Author: Steve Linton (auth.) Serge Autexier John Campbell Julio Rubio Volker Sorge Masakazu Suzuki Freek Wiedijk (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Artificial Intelligence in Medicine: 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005. Proceedings

Artificial Intelligence in Medicine: 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005. Proceedings

djvu

Author: Frank van Harmelen (auth.) Silvia Miksch Jim Hunter Elpida T. Keravnou (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

pdf

Author: Guy L. Steele (auth.) Masami Hagiya Philip Wadler (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

djvu

Author: W. Bibel S. Brüning U. Egly D. Korn (auth.) Peter Baumgartner Reiner Hähnle Joachim Possega (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

pdf

Author: Héctor Geffner (auth.) Peter van Beek (eds.)
Language: English
Year: 2005

00

26.01.2024

5

0

book Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

pdf

Author: Peter O’Hearn John Reynolds Hongseok Yang (auth.) Laurent Fribourg (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

pdf

Author: Dines Bjørner (auth.) Václav Hlaváč Keith G. Jeffery Jiří Wiedermann (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Medical Imaging and Augmented Reality: Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004. Proceedings

Medical Imaging and Augmented Reality: Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004. Proceedings

pdf

Author: Stephen J. Riederer (auth.) Guang-Zhong Yang Tian-Zi Jiang (eds.)
Language: English
Year: 2004

00

26.01.2024

2

0

book The Design of Intelligent Agents: A Layered Approach

The Design of Intelligent Agents: A Layered Approach

djvu

Author: Jörg P. Müller (auth.)
Language: English
Year: 1996

00

26.01.2024

0

0