Image from Amazon.com
The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk.
Series: Lecture Notes in Computer Science ; 3600Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Description: xvi, 157 pages : illustration, digital ; 24 cmISBN:- 9783540328889 (electronic bk.)
- 511.36 22
- QA155.7.E4 S48 2006
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.