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

<![CDATA[Central Library Search for 'au:"Middeldorp, Aart."']]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Middeldorp%2C%20Aart.%22&format=rss2 5 0 50 Logic for Programming, Artificial Intelligence, and Reasoning ISBN 9783642452215 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53244

. XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53244 Automated Deduction - CADE-25 ISBN 9783319214016 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56061

. XXVIII, 640 p. 93 illus. 9783319214016

Place Hold on Automated Deduction - CADE-25

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56061 Automated Deduction - CADE-25 ISBN 9783319214016 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91539

. XXVIII, 640 p. 93 illus. 9783319214016

Place Hold on Automated Deduction - CADE-25

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91539 Processes, Terms and Cycles: Steps on the Road to Infinity ISBN 9783540324256 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92115

. XVIII, 642 p. 9783540324256

Place Hold on Processes, Terms and Cycles: Steps on the Road to Infinity

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92115 Logic for Programming, Artificial Intelligence, and Reasoning ISBN 9783642452215 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=93878

. XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

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