Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Furbach, Ulrich
Corporate Author: SpringerLink (Online service)
Other Authors: Shankar, Natarajan
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2006
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
Software Engineering
Online Access:http://dx.doi.org/10.1007/11814771
Перейти в каталог НБ ТГУ
Description
ISBN:9783540371885
ISSN:0302-9743 ;

Similar Items