Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman by Series: Texts in theoretical computer science an EATCS series
Language: English
Publication details: Berlin : Springer, 2016
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.0151 KRO/D.

Place hold
2.
A beginner's guide to mathematical logic / by Raymond M. Smullyan. by
Language: English
Publication details: New York : Dover Publications, 2014
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 511.3 SMU/A.

Place hold
Pages

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha