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

1479:-

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

Uppskattad leveranstid 7-11 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 Recycling of Garment Factory Waste

    Recycling of Garment Factory Waste

    Putheany Chou

    Pocket

    1069:-
  2. bokomslag Return Engagements

    Return Engagements

    Viet L

    Inbunden

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

    Higher Education and Civic Engagement...

    Vicheth Sen

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Christian G Fermller

    Pocket

    1479:-
  5. bokomslag Fixing the Image

    Fixing the Image

    Jenna Grant

    Pocket

    499:-
  6. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Nachum Dershowitz

    Pocket

    749:-
  7. bokomslag From 'Squatters' to Citizens?

    From 'Squatters' to Citizens?

    Rabe Paul

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Edmund M Clarke Jr

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

    749:-
  10. bokomslag Cambodian Grrrl

    Cambodian Grrrl

    Anne Elizabeth Moore

    Pocket

    129:-

Andra av samma författare

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

    3509:-
  2. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov

    Pocket

    749:-
  3. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Manuel Mazzara

    Pocket

    749:-
  4. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Alexander K Petrenko

    Pocket

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

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

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

    Automated Deduction - CADE-18

    Andrei Voronkov

    Pocket

    769:-
  7. bokomslag Logic Programming

    Logic Programming

    Andrei Voronkov

    Pocket

    749:-
  8. bokomslag Logic Programming and Automated Reasoning

    Logic Programming and Automated Reaso...

    Andrei Voronkov

    Pocket

    749:-
  9. bokomslag Logic Programming and Automated Reasoning

    Logic Programming and Automated Reaso...

    Andrei Voronkov

    Pocket

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

    Transactions and Change in Logic Data...

    Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov

    Pocket

    749:-