Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

Bibliographic Details
Published in:Springer e-books
Main Author: Dershowitz, Nachum
Corporate Author: SpringerLink (Online service)
Other Authors: Voronkov, Andrei
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer Science
Logic design
Software engineering
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-75560-9
Перейти в каталог НБ ТГУ
Description
ISBN:9783540755609
ISSN:0302-9743 ;

Similar Items