✓ Schweizer Online-Shop
product_placeholder
Lieferdatum: Unbekannt
Buch (Softcover): Fachbuch

Automated Theorem Proving

After 25 Years

Produkt bewerten
Unsere-Artikel-Nr.: 8V3EY86
EAN: 9780821850275
Lieferdatum: Unbekannt
Versand: Kostenlos
CHF 96.50
Spezifikationen
Sprache
  • Englisch
Autor
  • W. W Bledsoe
  • Donald W. Loveland
Erscheinungsjahr
  • 1984
Format
  • Buch (Softcover)