Automated Reasoning 1
bokomslag Automated Reasoning
Data & IT

Automated Reasoning

Stéphane Demri • Deepak Kapur • Christoph Weidenbach • Stephane Demri

Pocket

719:-

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

  • 528 sidor
  • 2014
This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
  • Författare: Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stephane Demri
  • Format: Pocket/Paperback
  • ISBN: 9783319085869
  • Språk: Engelska
  • Antal sidor: 528
  • Utgivningsdatum: 2014-08-04
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Automated Reasoning

    Automated Reasoning

    Bernhard Gramlich, Dale Miller, Ulrike Sattler

    Pocket

    719:-
  2. bokomslag Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets

    Intuitive Human Interfaces for Organi...

    Yuzuru Tanaka Gunter Grieser

    Pocket

    749:-
  3. bokomslag Coffee With Jesus

    Coffee With Jesus

    Teresa Love, Femi, Judy James

    Pocket

    519:-
  4. bokomslag Theoretical Aspects of Computing - ICTAC 2017

    Theoretical Aspects of Computing - IC...

    Deepak Kapur Dang Van Hung

    Pocket

    749:-
  5. bokomslag Dependable Software Engineering: Theories, Tools, and Applications

    Dependable Software Engineering: Theo...

    Martin Fränzle, Deepak Kapur, Naijun Zhan

    Pocket

    749:-
  6. bokomslag American Faculty

    American Faculty

    Jack H Schuster, Martin J Finkelstein, Jack H Schuster, Martin J Finkelstein

    599:-
  7. bokomslag Automated Reasoning

    Automated Reasoning

    Viorica Sofronie-Stokkermans Nicolas ...

    Pocket

    1099:-
  8. bokomslag Ancient Egyptian Mysteries and Hieroglyphics, Modern Freemasonry & Initiation of the Pyramid

    Ancient Egyptian Mysteries and Hierog...

    Manly P Hall, Albert G MacKey, Henry Ridgely Evans, Manly P Hall, Albert G MacKey

    Klotband

    549:-
  9. bokomslag Automated Reasoning

    Automated Reasoning

    Viorica Sofronie-Stokkermans Nicolas ...

    Pocket

    1189:-
  10. bokomslag Nahethal

    Nahethal

    A J Weidenbach, A J Weidenbach, A J Weidenbach

    Klotband

    2139:-

Andra av samma författare

  1. bokomslag Advances in Modal Logic Volume 11

    Advances in Modal Logic Volume 11

    Lev Beklemishev, Stephane Demri, Andras Mate

    Pocket

    389:-
  2. bokomslag Dependable Software Engineering: Theories, Tools, and Applications

    Dependable Software Engineering: Theo...

    Martin Fränzle, Deepak Kapur, Naijun Zhan

    Pocket

    749:-
  3. bokomslag Theoretical Aspects of Computing - ICTAC 2017

    Theoretical Aspects of Computing - IC...

    Deepak Kapur Dang Van Hung

    Pocket

    749:-
  4. bokomslag Automated Deduction - CADE-11

    Automated Deduction - CADE-11

    Deepak Kapur

    Pocket

    1469:-
  5. bokomslag Programming Logics

    Programming Logics

    Christoph Weidenbach Andrei Voronkov

    Pocket

    749:-