Theorem Proving In Higher Order Logics 1
bokomslag Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

Basin David Basin • Wolff Burkhart Wolff

Pocket

909:-

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: Basin David Basin, Wolff Burkhart Wolff
  • Format: Pocket/Paperback
  • ISBN: 9783662199480
  • Språk: Engelska
  • Utgivningsdatum: 2014-03-12
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Burkhart Wolff David Basin

    Pocket

    769:-
  2. bokomslag Applied Information Security

    Applied Information Security

    David Basin, Patrick Schaller, Michael Schlpfer

    Pocket

    689:-
  3. bokomslag Tests and Proofs

    Tests and Proofs

    Burkhart Wolff Catherine Dubois

    Pocket

    769:-
  4. bokomslag Tests and Proofs

    Tests and Proofs

    Burkhart Wolff Martin Gogolla

    Pocket

    769:-
  5. bokomslag Labelled Deduction

    Labelled Deduction

    David Basin, M D'Agostino, Dov M Gabbay, Sen Matthews, Luca Vigan

    Inbunden

    1519:-
  6. bokomslag Miracles In The Making

    Miracles In The Making

    Darda Burkhart Carolyn Wing Greenlee

    Pocket

    229:-
  7. bokomslag Automated Reasoning

    Automated Reasoning

    Michael Rusinowitch David Basin

    Pocket

    1519:-
  8. bokomslag Principles of Security and Trust

    Principles of Security and Trust

    John C Mitchell David Basin

    Pocket

    769:-
  9. bokomslag Homage to W. R. Lee

    Homage to W. R. Lee

    Edward I Burkhart Arthur Van Essen

    Inbunden

    2179:-
  10. bokomslag Critical Care Toxicology

    Critical Care Toxicology

    Jeffrey Brent, Keith Burkhart, Paul Dargan, Benjamin Hatten, Bruno Mgarbane

    Inbunden

    4929:-