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

1499:-

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

  • 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

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

    1109:-
  4. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Christian G Fermller

    Pocket

    1499:-
  5. bokomslag Fixing the Image

    Fixing the Image

    Jenna Grant

    Pocket

    479:-
  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 Human Centered Computing

    Human Centered Computing

    Qiaohong Zu, Bo Hu, Ning Gu, Sopheap Seng

    Pocket

    1499:-
  9. bokomslag Return Engagements

    Return Engagements

    Viet L

    Pocket

    479:-
  10. bokomslag Recycling Infrastructures in Cambodia

    Recycling Infrastructures in Cambodia

    Kathrin Eitel

    Pocket

    699:-

Andra av samma författare

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

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

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