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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 334724-1001 | ONLINE(334724.1) | | Elektronik Kütüphane |