Using Sophisticated Models in Resolution Theorem Proving 1
bokomslag Using Sophisticated Models in Resolution Theorem Proving
Data & IT

Using Sophisticated Models in Resolution Theorem Proving

David M Sandford

Pocket

769:-

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
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

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

Du kanske gillar

  1. bokomslag The New Governance of the English Regions

    The New Governance of the English Reg...

    M Sandford

    Inbunden

    769:-
  2. bokomslag The New Governance of the English Regions

    The New Governance of the English Reg...

    M Sandford

    Pocket

    769:-
  3. bokomslag Modern Americans: A Biographical School Reader For The Upper Grades

    Modern Americans: A Biographical Scho...

    Chester M Sandford

    Häftad

    609:-
  4. Hitster Rock

    Hitster Rock

    Spel, Hitster

    349:-
  5. bokomslag Väninnorna på Nordiska Kompaniet

    Väninnorna på Nordiska Kompaniet

    Ruth Kvarnström-Jones

    Inbunden

    289:-
  6. Ny
    bokomslag Skinn

    Skinn

    Sara Strömberg

    Pocket

    69:- (119:-)
  7. bokomslag Snöfall över Paris

    Snöfall över Paris

    Karolina Schützer

    Pocket

    69:- (110:-)
  8. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Hitster

    349:-
  9. bokomslag Dad, I Want to Hear Your Story

    Dad, I Want to Hear Your Story

    Jeffrey Mason

    Pocket

    179:-
  10. bokomslag Sly

    Sly

    Sara Strömberg

    Pocket

    69:- (119:-)