Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings

Select an Action

Title:

Conference Author:

Publication Information:

Berlin Heidelberg : Springer-Verlag GmbH., 2007.

Physical Description:

xi, 384 p. : ill., digital ; 24 cm.

ISBN:

9783540727880

General Note:

Available in online version

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Genre:

DSP_RESTRICTION_NOTE:

Remote access restricted to users with a valid UTM ID via VPN

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	EB001240	EB 001240	Electronic Book	1:EBOOK	Searching... Unknown