Automated Reasoning 1
bokomslag Automated Reasoning

Automated Reasoning

Gore Rajeev Gore • Leitsch Alexander Leitsch • Nipkow Tobias Nipkow

Pocket

879:-

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

Andra format:

  • 2014
  • Författare: Gore Rajeev Gore, Leitsch Alexander Leitsch, Nipkow Tobias Nipkow
  • Format: Pocket/Paperback
  • ISBN: 9783662171196
  • Språk: Engelska
  • Utgivningsdatum: 2014-03-12
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Automated Reasoning

    Automated Reasoning

    Rajeev Gore, Alexander Leitsch, Tobias Nipkow

    Pocket

    1559:-
  2. bokomslag Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch Matthias Baaz

    Pocket

    1519:-
  3. bokomslag Advances in Modal Logic Volume 10

    Advances in Modal Logic Volume 10

    Rajeev Gore, Barteld Kooi, Agi Kurucz

    Pocket

    399:-
  4. bokomslag Automated Reasoning

    Automated Reasoning

    Viorica Sofronie-Stokkermans Nicolas ...

    Pocket

    1129:-
  5. bokomslag Automated Model Building

    Automated Model Building

    Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

    Inbunden

    2249:-
  6. bokomslag Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob, Alexander Leitsch, Daniele Mundici

    Pocket

    769:-
  7. bokomslag Automated Model Building

    Automated Model Building

    Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

    Pocket

    2249:-
  8. bokomslag Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob, Alexander Leitsch, Daniele Mundici

    Pocket

    769:-
  9. bokomslag Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch Matthias Baaz

    Inbunden

    1519:-
  10. bokomslag Resolution Methods for the Decision Problem

    Resolution Methods for the Decision P...

    C Fermller, A Leitsch, Tanel Tammet, Nail Zamov

    Pocket

    769:-