✓ Schweizer Online-Shop
shopping-bag-white-svg
keyboard-white-svg
product_placeholder

Automated Theorem Proving

After 25 Years

Produkt bewerten
Unsere-Artikel-Nr.: 8V3EY86
EAN: 9780821850275
Auf Lager:
1
Zustellung: Do, 25.12.2025
Versand: Kostenlos
CHF 100.–
Spezifikationen
Sprache
  • Englisch
Autor
  • W. W Bledsoe
  • Donald W. Loveland
Erscheinungsjahr
  • 1984
Format
  • Buch (Softcover)