Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
by
 
Bonacina, Maria Paola. editor.

Title
: 
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Author
: 
Bonacina, Maria Paola. editor.

ISBN
: 
9783642385742

Physical Description
: 
XVI, 466 p. 95 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7898

Subject Term
: 
Computer science.
 
Software engineering.
 
Computer software.
 
Logic design.
 
Artificial intelligence.
 
Artificial Intelligence (incl. Robotics).
 
Mathematical Logic and Formal Languages.
 
Logics and Meanings of Programs.
 
Algorithm Analysis and Problem Complexity.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-38574-2


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334626-1001ONLINE(334626.1)Elektronik Kütüphane