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

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

    759:-
  2. bokomslag Tests and Proofs

    Tests and Proofs

    Burkhart Wolff Catherine Dubois

    Pocket

    759:-
  3. bokomslag Tests and Proofs

    Tests and Proofs

    Burkhart Wolff Martin Gogolla

    Pocket

    759:-
  4. bokomslag Applied Information Security

    Applied Information Security

    David Basin, Patrick Schaller, Michael Schlpfer

    Pocket

    679:-
  5. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Victor A Carreno, Cesar A Munoz, Sofiene Tahar

    Pocket

    759:-
  6. bokomslag Nahuatl Theater

    Nahuatl Theater

    Barry D Sell, Louise M Burkhart, Elizabeth R Wright

    Inbunden

    1019:-
  7. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Otmane Ait Mohamed, Csar Munoz, Sofine Tahar

    Pocket

    759:-
  8. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Tom Melham Joe Hurd

    Pocket

    759:-
  9. bokomslag Nahuatl Theater

    Nahuatl Theater

    Barry D Sell, Louise M Burkhart, Stafford Poole

    Inbunden

    1019:-
  10. bokomslag Homage to W. R. Lee

    Homage to W. R. Lee

    Edward I Burkhart Arthur Van Essen

    Inbunden

    2169:-