Un Programme de Démonstration de Théorèmes by Pitrat, Jacques ; [ Church, Alonzo ] - 1970
by Pitrat, Jacques ; [ Church, Alonzo ]
![Un Programme de Démonstration de Théorèmes by Pitrat, Jacques ; [ Church, Alonzo ] - 1970](https://d3525k1ryd2155.cloudfront.net/h/782/539/765539782.0.m.1.jpg)
Un Programme de Démonstration de Théorèmes
by Pitrat, Jacques ; [ Church, Alonzo ]
- Used
- very good
- first
Paris: Dunod, 1970. First Edition. Wraps. Very Good. First Edition. XII, 120 pages. Green printed wrappers. Covers sunned. Wraps. The author Jacques Pitrat was known in France for his work on artificial intelligence.
Stamp of R. A. Robinson on the front flyleaf. Robinson was a well known mathematician and computer scientist. He founded the Journal of Logic Programming, and was given the Association for Logic Programming honorary title Founder of Logic Programming in 1997. Laid in is a postcard from Alonzo Church (editor of the Journal of Symbolic Logic) reminding Professor Robinson he needs to review this work. Also laid in is a printed card from the Editeur at Dunod noting it was provided with the author's compliments.
Stamp of R. A. Robinson on the front flyleaf. Robinson was a well known mathematician and computer scientist. He founded the Journal of Logic Programming, and was given the Association for Logic Programming honorary title Founder of Logic Programming in 1997. Laid in is a postcard from Alonzo Church (editor of the Journal of Symbolic Logic) reminding Professor Robinson he needs to review this work. Also laid in is a printed card from the Editeur at Dunod noting it was provided with the author's compliments.
-
Bookseller
Kuenzig Books
(US)
- Format/Binding Wraps
- Book Condition Used - Very Good
- Quantity Available 1
- Edition First Edition
- Publisher Dunod
- Place of Publication Paris
- Date Published 1970