IIITB Library

Your cart is empty.
Kroening, D.

Decision procedures: An algorithmic point of view - Berlin Springer 2008 - xvi, 304p. - Texts in Theoretical Computer Science .

978-3-540-74104-6

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha