- Start
- Product
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)
More details
Series
Language
English
Place of publication
United States
Product notice
Paperback (trade)
Unsewn / adhesive bound
ISBN-13
978-0-08-017128-9 (9780080171289)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.