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

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

book Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

pdf

Author: Leo Bachmair (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Modelling and Reasoning with Vague Concepts

Modelling and Reasoning with Vague Concepts

pdf

Author: Dr. Jonathan Lawry (auth.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers

Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers

pdf

Author: D. N. Lam K. S. Barber (auth.) Manuel Kolp Paolo Bresciani Brian Henderson-Sellers Michael Winikoff (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

pdf

Author: Klaus Aehlig Jan Johannsen Helmut Schwichtenberg (auth.) Reinhard Kahle Peter Schroeder-Heister Robert Stärk (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Bioinformatics Research and Development: First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

Bioinformatics Research and Development: First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

pdf

Author: Nicole Radde Lars Kaderali (auth.) Sepp Hochreiter Roland Wagner (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction

Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction

pdf

Author: Stephan Heuel (auth.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Brain Dynamics: An Introduction to Models and Simualtions

Brain Dynamics: An Introduction to Models and Simualtions

pdf

Author: Hermann Haken (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, October 15–20, 2000 Selected Revised Papers

Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, October 15–20, 2000 Selected Revised Papers

pdf

Author: Yakov Keselman Sven Dickinson (auth.) Gregory D. Hager Henrik Iskov Christensen Horst Bunke Rolf Klein (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 10–13, 2002 Revised Papers

DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 10–13, 2002 Revised Papers

pdf

Author: Phiset Sa-Ardyen Nataša Jonoska Nadrian C. Seeman (auth.) Masami Hagiya Azuma Ohuchi (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book Media Theory: Interdisciplinary Applied Mathematics

Media Theory: Interdisciplinary Applied Mathematics

pdf

Author: David Eppstein Jean-Claude Falmagne Sergei Ovchinnikov (auth.)
Language: English
Year: 2008

00

26.01.2024

3

0