Handbook of Automated Reasoning 1
bokomslag Handbook of Automated Reasoning
Data & IT

Handbook of Automated Reasoning

Alan J A Robinson

Inbunden

3399:-

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

Uppskattad leveranstid 10-15 arbetsdagar

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

  • 1188 sidor
  • 2001
This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
  • Författare: Alan J A Robinson
  • Format: Inbunden
  • ISBN: 9780444508126
  • Språk: Engelska
  • Antal sidor: 1188
  • Utgivningsdatum: 2001-06-01
  • Förlag: North Holland

Du kanske gillar

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

    3509:-
  2. bokomslag MRI of the Liver

    MRI of the Liver

    Janice Ward Philip J A Robinson

    Pocket

    1159:-
  3. bokomslag Lemoy and His Dark Return

    Lemoy and His Dark Return

    J A Robinson

    Pocket

    369:-
  4. bokomslag MRI of the Liver

    MRI of the Liver

    Janice Ward Philip J A Robinson

    Inbunden

    3539:-
  5. bokomslag From Chalcedon to Minneapolis

    From Chalcedon to Minneapolis

    J A Robinson-Brown

    Pocket

    1059:-
  6. bokomslag My Fair Lady (Vocal Selections)

    My Fair Lady (Vocal Selections)

    Frederick Loewe Alan Jay Lerner

    Pocket

    269:-
  7. bokomslag Pediatric Anesthesiology, An Issue of Anesthesiology Clinics

    Pediatric Anesthesiology, An Issue of...

    Alan Jay Schwartz

    Inbunden

    909:-
  8. bokomslag Crisis Communication

    Crisis Communication

    Alan Jay Zaremba

    Inbunden

    4009:-
  9. bokomslag Sports Communication

    Sports Communication

    Alan Jay Zaremba

    Pocket

    1769:-
  10. bokomslag Manna for Your Soul

    Manna for Your Soul

    Alan Jay Binger

    Pocket

    299:-