<![CDATA[Central Library Search for 'au:"Sinz, Carsten."']]>

<![CDATA[Central Library Search for 'au:"Sinz, Carsten."']]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Sinz%2C%20Carsten.%22&format=rss2 2 0 50 Theory and Applications of Satisfiability Testing - SAT 2014 ISBN 9783319092843 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53151

. XXVI, 448 p. 77 illus. 9783319092843

Place Hold on Theory and Applications of Satisfiability Testing - SAT 2014

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53151 Theory and Applications of Satisfiability Testing - SAT 2014 ISBN 9783319092843 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88161

. XXVI, 448 p. 77 illus. 9783319092843

Place Hold on Theory and Applications of Satisfiability Testing - SAT 2014

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88161