7th International Conference on Automated Deduction: Proceedings - Lecture Notes in Computer Science - R E Shostak - Books - Springer-Verlag New York Inc. - 9780387960227 - May 18, 1984
In case cover and title do not match, the title is correct

R E Shostak
7th International Conference on Automated Deduction: Proceedings - Lecture Notes in Computer Science 1984 edition

Price
Íkr 13,249
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 24 - Jul 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2).

509 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 18, 1984
ISBN13 9780387960227
Publishers Springer-Verlag New York Inc.
Pages 512
Dimensions 155 × 235 × 26 mm   ·   721 g
Language English  
Editor Shostak, R. E.

Mere med samme udgiver

See all of R E Shostak ( e.g. Paperback Book )