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

Handbook of Automated Reasoning

A Robinson • A Voronkov • Alan J A Robinson • Andrei Voronkov • Alan J A Robinson

Inbunden

3299:-

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

Andra format:

  • 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: A Robinson, A Voronkov, Alan J A Robinson, Andrei Voronkov, Alan J A Robinson
  • Format: Inbunden
  • ISBN: 9780444508126
  • Språk: Engelska
  • Antal sidor: 1188
  • Utgivningsdatum: 2001-06-21
  • Förlag: Elsevier Science

Du kanske gillar

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    A Robinson, A Voronkov, Andrei Voronkov, Alan J A Robinson, Alan J A Robinson

    Inbunden

    3419:-
  2. bokomslag Transactions and Change in Logic Databases

    Transactions and Change in Logic Data...

    Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov

    Pocket

    749:-
  3. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Martin Davis, Ansgar Fehnker, Annabelle Mciver, Andrei Voronkov

    Pocket

    749:-
  4. bokomslag ASEAN Environmental Legal Integration

    ASEAN Environmental Legal Integration

    Koh Kheng-Lian, Nicholas A Robinson, Lye Lin-Heng, Koh Kheng-Lian, Nicholas A Robinson

    599:-
  5. bokomslag Research in Accounting Regulation

    Research in Accounting Regulation

    N Chandar, Gary Previts, Alan J A Robinson, N Chandar, Gary Previts

    Inbunden

    1439:-
  6. bokomslag Well-Construction, Water-Level, Geophysical, and Water-Quality Data for Ground-Water Monitoring Wells for Arnold Air Force Base, Tennessee

    Well-Construction, Water-Level, Geoph...

    C J Hough, E N Mahoney, Department Of Computing Science J A Robinson

    Pocket

    309:-
  7. bokomslag Gumbo for the Soul III

    Gumbo for the Soul III

    Brian L Wright, Nathaniel Bryan, Christopher J P Sewell, Lucian Yates Iii, Michael A Robinson

    Pocket

    699:-
  8. bokomslag Electron Paramagnetic Resonance in Biochemistry and Medicine

    Electron Paramagnetic Resonance in Bi...

    Rafik Galimzyanovich Sajfutdinov, Lyudmila Ivanovna Larina, Tamara Il'Inichna Vakul'Skaya, Mikhail Grigor'Evich Voronkov

    Inbunden

    1479:-
  9. bokomslag MRI of the Liver

    MRI of the Liver

    Philip J A Robinson, Janice Ward, Philip J A Robinson

    Pocket

    1049:-
  10. bokomslag The Ecological Consequences of Environmental Heterogeneity

    The Ecological Consequences of Enviro...

    Michael J Hutchings, Elizabeth A John, Alan J A Stewart, Michael Hutchings, Elizabeth A John

    Pocket

    1349:-

Andra av samma författare

  1. bokomslag Narrating the Past

    Narrating the Past

    Alan Robinson A Robinson

    Inbunden

    839:-
  2. bokomslag Research in Accounting Regulation

    Research in Accounting Regulation

    N Chandar, Gary Previts, Alan J A Robinson, N Chandar, Gary Previts

    Inbunden

    1439:-
  3. bokomslag Wing Theory

    Wing Theory

    J A Laurmann A Robinson

    Pocket

    1069:-
  4. bokomslag Narrating the Past

    Narrating the Past

    A Robinson

    Pocket

    839:-
  5. bokomslag Imagining London, 1770-1900

    Imagining London, 1770-1900

    A Robinson

    Inbunden

    1649:-
  6. bokomslag Reach for the moon

    Reach for the moon

    A Robinson A Robinson

    Pocket

    229:-
  7. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

    Pocket

    749:-
  8. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Manuel Mazzara

    Pocket

    749:-
  9. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Alexander K Petrenko

    Pocket

    749:-
  10. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

    749:-