Logic for programming, artificial intelligence, and reasoning :
Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings /
Eds. : Nachum Dershowitz, Andrei Voronkov.
- 1st ed.
- New York : Springer, 2007.
- xiii, 562 p. : ill.
- Lectures notes in computer science Lecture notes in artificial intelligence 4790 .
Includes bibliogr. references and index.
3540755586
Logic programming--Congresses.
Automatic theorem proving--Congresses.
Artificial intelligence--Congresses.
Includes bibliogr. references and index.
3540755586
Logic programming--Congresses.
Automatic theorem proving--Congresses.
Artificial intelligence--Congresses.