Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Theory and Applications of Satisfiability Testing - SAT 2008 Электронный ресурс 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao.

By: Kleine Büning, HansContributor(s): Zhao, Xishun | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540797197Subject(s): Artificial intelligence | Computer Science | Computer software | Electronic data processing | Logic, Symbolic and mathematical | Operating systems (Computers) | Computer Science | Algorithm Analysis and Problem Complexity | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Numeric Computing | Operating SystemsOnline resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.