LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Für die Filterung wurden keine Ergebnisse gefunden!
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
  • paperback
  • 154 Seiten
  • Erschienen 1988
  • FT Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated Theorem-proving in Non-classical...
1988 154 Seiten 23,9 x 16,8 x 1,0 cm, Taschenbuch FT Prentice Hall, Altersfreigabe FSK ab 0 Jahre
49,26 €