Liknande böcker

Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Theoretical Aspects of Local Search
Bok av Wil Michiels
Artificial Intelligence and Symbolic Computation : 8th International Con...
Bok av Jaques. Calmet
Artificial intelligence and symbolic mathematical computing : proceedings
Bok av Jacques C Calmet
Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Principles of Distributed Systems : 16th International Conference, OPODI...
Bok av Roberto. Baldoni
Meta-Programming in Logic : proceedings
Bok av Alberto Pettorossi

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 1418, 2002 Proceedings

Bok av Matthias Baaz
Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.