Theorie Und PRAXIS Der Booleschen Algebra
M. Denis-Papin
₹4,581
Grundlagen Des Maschinellen Beweisens
Eine Einführung Für Informatiker Und Mathematiker
by Dieter Hofbauer, Ralf-Detlef Kutsche
₹2,875
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783528147181
- ISBN-10
- 3528147180
- Authors
- Dieter Hofbauer, Ralf-Detlef Kutsche
- Publisher
- Vieweg+teubner Verlag
- Condition
- New
Related books
Aufbau Und Arbeitsweise Von Rechenanlagen
Coy Wolfgang
₹3,143
Kultur Und Politik
Herfried Münkler, Richard Saage
₹3,508
Wege Zur Deutschen Musik
Hans Fischer
₹3,508
Ausgewählte Kapitel Aus Der Funktionenlehre
Reinhard Siegmund-Schultze, Karl Weierstrass
₹3,141
Objektorientierte Systementwicklung
Karl-Heinz Rau
₹2,634
It-Notfallmanagement Mit System
Gerhard Klett, Klaus-Werner Schröder, Heinrich Kersten
₹3,508
JSP
Klaus Kilberth
₹3,508
Deutsche Verfassungsgeschichte Vom 15. Jahrhundert Bis Zur Gegenwart
Fritz Hartung
₹3,508
Ökologisch Planen Und Bauen
Arwed Tomm
₹4,237
Planung Und Optimierung Von Rechnernetzen
Andriy Luntovskyy, Dietbert Gütter, Igor Melnyk
₹2,496
Die Parameter Der Dünnschichtchromatographie
Friedrich Geiss
₹3,623