Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
by
 
Järvisalo, Matti. editor.

Title
: 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author
: 
Järvisalo, Matti. editor.

ISBN
: 
9783642390715

Physical Description
: 
XVI, 437 p. 84 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7962

Subject Term
: 
Computer science.
 
Computer software.
 
Logic design.
 
Artificial intelligence.
 
Mathematics.
 
Logics and Meanings of Programs.
 
Computation by Abstract Devices.
 
Algorithm Analysis and Problem Complexity.
 
Mathematical Logic and Formal Languages.
 
Artificial Intelligence (incl. Robotics).
 
Information and Communication, Circuits.

Added Author
: 
Van Gelder, Allen.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-39071-5


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