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
Corporate Author: SpringerLink (Online service)
Other Authors: Dershowitz, Nachum (Editor), Voronkov, Andrei (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4790
Subjects:
Computer science.
Software engineering.
Computer programming.
Computer logic.
Mathematical logic.
Artificial intelligence.
Computer Science.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link
Description
Physical Description:XIII, 564 p. online resource.
ISBN:9783540755609
ISSN:0302-9743 ;

Similar Items