Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Name: Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
Brand: Vieweg+Teubner Verlag
Availability: OutOfStock
Rating: 5 (1 reviews)

By . Dieter Hofbauer

0 - Default Title

Product details

Binding:: Paperback
Edition:: 1
Number of Pages:: 184
Release Date:: 1989-01-01
Publication Date:: 1989-01-01
Publisher:: Vieweg+Teubner Verlag
Languages:: Published: German
ISBN10:: 3528047186
GPSR Manufacturer Reference:: [email protected]
Weight:: 304 g

Buy on Amazon

Currently sold out

Add to Wishlist