Automated Reasoning 1
bokomslag Automated Reasoning

Automated Reasoning

Gore Rajeev Gore • Leitsch Alexander Leitsch • Nipkow Tobias Nipkow

Pocket

899:-

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

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

    1539:-
  2. bokomslag Automated Reasoning

    Automated Reasoning

    Viorica Sofronie-Stokkermans Nicolas ...

    Pocket

    1119:-
  3. bokomslag Automated Reasoning

    Automated Reasoning

    Viorica Sofronie-Stokkermans Nicolas ...

    Pocket

    1209:-
  4. bokomslag Automated Reasoning

    Automated Reasoning

    Stphane Demri, Deepak Kapur, Christoph Weidenbach

    Pocket

    759:-
  5. bokomslag Automated Reasoning

    Automated Reasoning

    Michael Rusinowitch David Basin

    Pocket

    1499:-
  6. bokomslag Automated Reasoning

    Automated Reasoning

    Christoph Benzmller, Marijn J H Heule, Renate A Schmidt

    Pocket

    1289:-
  7. bokomslag Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch Matthias Baaz

    Pocket

    1499:-
  8. bokomslag Automated Reasoning

    Automated Reasoning

    Reiner Hhnle Jrgen Giesl

    Pocket

    1499:-
  9. bokomslag Automated Model Building

    Automated Model Building

    Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

    Inbunden

    2219:-
  10. bokomslag Advances in Modal Logic Volume 10

    Advances in Modal Logic Volume 10

    Rajeev Gore, Barteld Kooi, Agi Kurucz

    Pocket

    409:-