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

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

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

book Advances in Natural Computation: Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part II

Advances in Natural Computation: Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part II

pdf

Author: Sun Li Xu Wen-Bo (auth.) Licheng Jiao Lipo Wang Xinbo Gao Jing Liu Feng Wu (eds.)
Language: English
Year: 2006

00

26.01.2024

4

0

book Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

djvu

Author: Ofer Arieli Arnon Avron (auth.) Dirk van Dalen Marc Bezem (eds.)
Language: English
Year: 1997

00

26.01.2024

1

0

book Advances in Data Mining: Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Paper

Advances in Data Mining: Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Paper

pdf

Author: Juan M. Corchado M. Lourdes Borrajo María A. Pellicer J. Carlos Yáñez (auth.) Petra Perner (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Algorithmic Learning Theory: 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings

Algorithmic Learning Theory: 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings

pdf

Author: Naoki Abe Roni Khardon Thomas Zeugmann (eds.)
Language: English
Year: 2001

00

26.01.2024

2

0