2 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing ebooks only. Would you like to see everything by this author?
Subjects
Automatic theorem proving, Computer programs, Data processing, Logik, Mathematics, Mathematics, data processing, Nuprl (Computer system), PL 1, PL/1, PL/CS (Langage de programmation), PL/CV (Computer program language), PL/CV (Langage de programmation), Programacao De Computadores, Programmation (Informatique), Programmierung, VerificationID Numbers
- OLID: OL1317600A
Links (outside Open Library)
No links yet. Add one?
September 9, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |