Your search returned 5 results.

Results
1.	Image from Amazon.com	First-order logic and automated theorem proving by Fitting, Melvin [Author] Series: Graduate texts in computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer Science+Business Media, ©1996 Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.131 FIT / B. Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	Logic for applications by Nerode, Anil [Author] Shore, Richard A [Author] Series: Graduate texts in computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, ©1997 Online resources: Publisher description Table of contents only Availability: Not available: IIT - Dharwad: Costly Reference (1). Save to lists Add to cart (remove)
3.	Image from Amazon.com	Automata and computability by Kozen, Dexter [Author] Series: Undergraduate texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer Science+Business Media, ©1997 Online resources: Table of contents only Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.3 KOZ / B. Place hold Save to lists Add to cart (remove)
4.	Image from Amazon.com	Theory of computation by Kozen, Dexter C [Author] Series: Texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer-Verlag, ©2006 Availability: Items available for loan: IIT - Dharwad (4)Call number: 511.35 KOZ / DST, ... Not available: IIT - Dharwad: Course Reserved Book (1). Place hold Save to lists Add to cart (remove)
5.	Image from Amazon.com	Computer Vision : Algorithms and Applications by Szeliski, Richard [Author] Series: Texts in Computer Science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer Nature, ©2022 Availability: Items available for reference: IIT - Dharwad: Not For Loan (1)Call number: 006.37 SZE / B. Save to lists Add to cart (remove)