bokomslag Using Sophisticated Models in Resolution Theorem Proving
Data & IT

Using Sophisticated Models in Resolution Theorem Proving

David M Sandford

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 242 sidor
  • 1980
  • Författare: David M Sandford
  • Format: Pocket/Paperback
  • ISBN: 9783540102311
  • Språk: Engelska
  • Antal sidor: 242
  • Utgivningsdatum: 1980-08-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG