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

Başlık
: 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Yazar
: 
Järvisalo, Matti. editor.

ISBN
: 
9783642390715

Fiziksel Tanımlama
: 
XVI, 437 p. 84 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7962

Konu Terimleri
: 
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.

Yazar Ek Girişi
: 
Van Gelder, Allen.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-39071-5


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap334724-1001ONLINE(334724.1)Elektronik Kütüphane