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

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

book Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

djvu

Author: Deepak Kapur (auth.) Harald Ganzinger (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

pdf

Author: Jean-Pierre Jouannaud Ralf Treinen (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Hubert Comon Claude Marché Ralf Treinen (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

pdf

Author: Wim Vanhoof (auth.) Sandro Etalle (eds.)
Language: English
Year: 2005

00

26.01.2024

3

0

book Algorithmic Learning Theory: 6th International Workshop,ALT '95 Fukuoka, Japan, October 18–20, 1995 Proceedings

Algorithmic Learning Theory: 6th International Workshop,ALT '95 Fukuoka, Japan, October 18–20, 1995 Proceedings

djvu

Author: Yasubumi Sakakibara (auth.) Klaus P. Jantke Takeshi Shinohara Thomas Zeugmann (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

pdf

Author: Diego Calvanese (auth.) Bernhard Beckert (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Intelligent Information Agents: The AgentLink Perspective

Intelligent Information Agents: The AgentLink Perspective

pdf

Author: Matthias Klusch Sonia Bergamaschi Paolo Petta (auth.) Matthias Klusch Sonia Bergamaschi Pete Edwards Paolo Petta (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Applications of Uncertainty Formalisms

Applications of Uncertainty Formalisms

djvu

Author: Anthony Hunter Simon Parsons (auth.) Anthony Hunter Simon Parsons (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

pdf

Author: Hamideh Afsarmanesh Ersin Kaletas Louis O. Hertzberger (auth.) Leszek Pacholski Peter Ružička (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings

Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings

djvu

Author: Ming Li Paul M. B. Vitányi (auth.) W. Kuich (eds.)
Language: English
Year: 1992

00

26.01.2024

1

0

book Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

pdf

Author: Tony Hoare Jay Misra (auth.) Bertrand Meyer Jim Woodcock (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0