Logic for Computer Science

Name: Logic for Computer Science | Foundations of Automatic Theorem Proving
Price: 30.5 EUR
Availability: OutOfStock
Author: Jean Gallier
ISBN: 978-0-471-61546-0

Foundations of Automatic Theorem Proving

Jean Gallier(Autor*in)

Wiley (Verlag)

Erschienen am 20. Juli 1988

Buch

Softcover

526 Seiten

978-0-471-61546-0 (ISBN)

30,50 €inkl. 7% MwSt.

Artikel ist vergriffen; keine Neuauflage

Weitere Details

Als PDF speichern Als Link merken