Logic for Programming, Artificial Intelligence, and Reasoning 1
bokomslag Logic for Programming, Artificial Intelligence, and Reasoning
Data & IT

Logic for Programming, Artificial Intelligence, and Reasoning

Miki Hermann • Andrei Voronkov

Pocket

1509:-

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

  • 592 sidor
  • 2006
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.
  • Författare: Miki Hermann, Andrei Voronkov
  • Format: Pocket/Paperback
  • ISBN: 9783540482819
  • Språk: Engelska
  • Antal sidor: 592
  • Utgivningsdatum: 2006-10-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Return Engagements

    Return Engagements

    Viet L

    Inbunden

    1749:-
  2. bokomslag Life Between Two Worlds

    Life Between Two Worlds

    Monika Tep

    Pocket

    259:-
  3. bokomslag Higher Education and Civic Engagement in Cambodia

    Higher Education and Civic Engagement...

    Vicheth Sen

    Pocket

    1089:-
  4. bokomslag Fixing the Image

    Fixing the Image

    Jenna Grant

    Pocket

    479:-
  5. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Christian G Fermller

    Pocket

    1509:-
  6. bokomslag Cambodian Grrrl

    Cambodian Grrrl

    Anne Elizabeth Moore

    Pocket

    129:-
  7. bokomslag Flying Tigers Over Cambodia

    Flying Tigers Over Cambodia

    Larry Partridge

    Pocket

    359:-
  8. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Nachum Dershowitz

    Pocket

    759:-
  9. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Edmund M Clarke Jr

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

    759:-

Andra av samma författare

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

    3639:-
  2. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov

    Pocket

    759:-
  3. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Manuel Mazzara

    Pocket

    759:-
  4. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Alexander K Petrenko

    Pocket

    759:-
  5. bokomslag Logic for Programming and Automated Reasoning

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

    759:-
  6. bokomslag Automated Deduction - CADE-18

    Automated Deduction - CADE-18

    Andrei Voronkov

    Pocket

    789:-
  7. bokomslag Logic Programming

    Logic Programming

    Andrei Voronkov

    Pocket

    759:-
  8. bokomslag Logic Programming and Automated Reasoning

    Logic Programming and Automated Reaso...

    Andrei Voronkov

    Pocket

    759:-
  9. bokomslag Logic Programming and Automated Reasoning

    Logic Programming and Automated Reaso...

    Andrei Voronkov

    Pocket

    759:-
  10. bokomslag Transactions and Change in Logic Databases

    Transactions and Change in Logic Data...

    Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov

    Pocket

    759:-