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

Matthias Baaz • Andrei Voronkov

Pocket

1009:-

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

  • 470 sidor
  • 2002
Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.
  • Författare: Matthias Baaz, Andrei Voronkov
  • Illustratör: Zahlr GrafUTab
  • Format: Pocket/Paperback
  • ISBN: 9783540000105
  • Språk: Engelska
  • Antal sidor: 470
  • Utgivningsdatum: 2002-10-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science

    Spatial Information Theory. Cognitive...

    David M Mark Christian Freksa

    Pocket

    1039:-
  2. bokomslag Statistik in Sozialer Arbeit Und Pflege

    Statistik in Sozialer Arbeit Und Pflege

    Karin Wolf-Ostermann Rdiger Ostermann

    Pocket

    549:-
  3. bokomslag Logic Programming and Automated Reasoning

    Logic Programming and Automated Reaso...

    Harald Ganzinger, David Mcallester, Andrei Voronkov

    Pocket

    1039:-
  4. bokomslag Cryptography and Coding

    Cryptography and Coding

    Colin Boyd

    Pocket

    1009:-
  5. bokomslag Statistical Mechanics

    Statistical Mechanics

    Surjit Singh Richard E Wilde

    Inbunden

    3069:-
  6. bokomslag Aktionsrume von Kindern auf dem Land

    Aktionsrume von Kindern auf dem Land

    Baldo Blinkert, Christian Achnitz, Katja Schwab, Jrgen Spiegel, Lothar Zischke

    Pocket

    389:-
  7. bokomslag Evolutionary Computing

    Evolutionary Computing

    Terence C Fogarty

    Pocket

    1009:-
  8. bokomslag Information Management in Computer Integrated Manufacturing

    Information Management in Computer In...

    Heimo H Adelsberger, Jiri Lazansky, Vladimir Marik

    Pocket

    1999:-
  9. bokomslag Mathematik

    Mathematik

    Klaus D Schmidt

    Pocket

    519:-
  10. bokomslag Pi: A Source Book

    Pi: A Source Book

    J L Berggren, Jonathan Borwein, Peter Borwein

    Inbunden

    4849:-

Andra av samma författare

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

    3599:-
  2. bokomslag Kurt Gdel and the Foundations of Mathematics

    Kurt Gdel and the Foundations of Math...

    Matthias Baaz

    Inbunden

    2039:-
  3. bokomslag Kurt Gdel and the Foundations of Mathematics

    Kurt Gdel and the Foundations of Math...

    Matthias Baaz

    Pocket

    1079:-
  4. bokomslag Logic Colloquium '01

    Logic Colloquium '01

    Matthias Baaz, Sy-David Friedman, Jan Krajcek

    Inbunden

    969:-
  5. bokomslag Logic Colloquium '01

    Logic Colloquium '01

    Matthias Baaz, Sy-David Friedman, Jan Krajcek

    Pocket

    549:-
  6. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov

    Pocket

    1009:-
  7. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Manuel Mazzara

    Pocket

    1009:-
  8. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Alexander K Petrenko

    Pocket

    1009:-
  9. bokomslag Computer Science Logic

    Computer Science Logic

    Johann M Makowsky Matthias Baaz

    Pocket

    1999:-
  10. bokomslag Logic for Programming and Automated Reasoning

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

    1009:-