Normal view MARC view ISBD view

Fundamentals proof methods in computer science : A computer based approach /

Arkoudas, Konstantine

Fundamentals proof methods in computer science : A computer based approach / Arkoudas, Konstantine & Musser, David - Massachusetts : MIT Press,

ISBN: 9780262035538

Subjects--Topical Terms:
Computer science
Proof theory

Dewey Class. No.: 004.0151 / ARK

Place hold
Print
Cite
Add to your cart (remove)
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)