Logic for Computer Science

Name: Logic for Computer Science | Foundations of Automatic Theorem Proving
Price: 78.74 EUR
Availability: OutOfStock
Author: Jean Gallier
ISBN: 978-0-06-042225-7

Foundations of Automatic Theorem Proving

Jean Gallier(Autor*in)

Longman Higher Education (Verlag)

Erschienen im Januar 1986

Buch

Hardcover

528 Seiten

978-0-06-042225-7 (ISBN)

78,74 €inkl. 7% MwSt.

Artikel ist vergriffen; keine Neuauflage

Weitere Details

Als PDF speichern Als Link merken