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

Handbook of Automated Reasoning

Alan J A Robinson

Inbunden

3519:-

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:-

  • 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 MRI of the Liver

    MRI of the Liver

    Janice Ward Philip J A Robinson

    Pocket

    1149:-
  2. bokomslag Lemoy and His Dark Return

    Lemoy and His Dark Return

    J A Robinson

    Pocket

    379:-
  3. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

    3639:-
  4. bokomslag MRI of the Liver

    MRI of the Liver

    Janice Ward Philip J A Robinson

    Inbunden

    3639:-
  5. bokomslag From Chalcedon to Minneapolis

    From Chalcedon to Minneapolis

    J A Robinson-Brown

    Pocket

    1089:-
  6. bokomslag The Limits of Religious Tolerance

    The Limits of Religious Tolerance

    Alan Jay Levinovitz

    Pocket

    209:-
  7. bokomslag Crisis Communication

    Crisis Communication

    Alan Jay Zaremba

    Inbunden

    4119:-
  8. Pranklåda Yumi & Tomu

    Pranklåda Yumi & Tomu

    Pranklåda , Kärnan

    299:- (399:-)
  9. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Hitster

    299:- (349:-)
  10. bokomslag Väninnorna på Nordiska Kompaniet

    Väninnorna på Nordiska Kompaniet

    Ruth Kvarnström-Jones

    Inbunden

    289:-