MPG.eBooks - Description: Theory and Applications of Satisfiability Testing

Read Now

Bibliographic Details
Main Author:	Giunchiglia, Enrico
Other Authors:	Tacchella, Armando
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2004
Series:	Lecture Notes in Computer Science
Subjects:	Artificial Intelligence Computer Science Computer Software Electronic Data Processing Logic, Symbolic And Mathematical Algorithm Analysis And Problem Complexity Artificial Intelligence (incl. Robotics) Mathematical Logic And Formal Languages Mathematical Logic And Foundations Numeric Computing
Online Access:	http://dx.doi.org/10.1007/b95238?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa

Description
Physical Description:	v. digital
ISBN:	9783540208518 978-3-540-20851-8