Theory an Applications of satisfiability testing - SAT 2012: 15th international conference. Trento, Italy, June 2012. Proceedings

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Lecture Notes in Computer Science ; 7317Publication details: Springer 2012 New yorkDescription: 504ISBN:

Subject(s):

Online resources:

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	681 LNCS (Browse shelf(Opens below))		Not For Loan		75654

There are no comments on this title.

to post a comment.