This image is currently not available.

Introduction to ALGOL 68

Automatic Theorem Proving Based on Resolution, Vol. 7
A. Bekis(Author)
M. I. Halpern(Editor)
Elsevier (Publisher)
Published on 1. September 1973
Book
Paperback/Softback
978-0-08-017128-9 (ISBN)
€22.08incl. 7% vat
Article is exhausted, reprint undefined

More details