Categorie

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang, Richard Char-Tung Lee

Editore: Elsevier Science
Testo in inglese
Formato: PDF con DRM
Cloud: No Scopri di più
Compatibilità: Tutti i dispositivi (eccetto Kindle) Scopri di più
  • EAN: 9780080917283