✓ Schweizer Online-Shop
product_placeholder
Auf Lager:
1
Buch (Softcover): Fachbuch

Automated Theorem Proving

After 25 Years

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