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

759:-

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

Uppskattad leveranstid 7-12 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

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

    The New Governance of the English Reg...

    M Sandford

    Pocket

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

    Modern Americans: A Biographical Scho...

    Chester M Sandford

    Häftad

    669:-
  4. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  5. Hitster 2 - Förläng Festen

    Hitster 2 - Förläng Festen

    Spel, Hitster

    Personalens favorit!

    299:- (349:-)
  6. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Hitster

    299:- (349:-)
  7. bokomslag Tranorna flyger söderut

    Tranorna flyger söderut

    Lisa Ridzén

    Pocket

    69:- (119:-)
  8. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Inbunden

    159:- (279:-)
  9. Kulspetspenna Frixion Ball Clicker 07 svart

    Kulspetspenna Frixion Ball Clicker 07...

    Kulspetspenna, Pilot

    55:-
  10. bokomslag En lyckligare tid

    En lyckligare tid

    Claire Lombardo

    Pocket

    119:-