Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker

Name: Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker
Brand: Vieweg+Teubner Verlag
Availability: OutOfStock
Rating: 5 (1 reviews)

By Dieter Hofbauer

0 - Default Title

Product details

Binding:: Paperback
Edition:: 2
Number of Pages:: 188
Release Date:: 1991-10-01
Publication Date:: 1991-10-01
Publisher:: Vieweg+Teubner Verlag
Languages:: Published: German, Original: German
ISBN10:: 3528147180
GPSR Manufacturer Reference:: [email protected]
Weight:: 308 g

Currently sold out

Add to Wishlist