Reasoning in Simple Type Theory 1
bokomslag Reasoning in Simple Type Theory
Filosofi & religion

Reasoning in Simple Type Theory

Christoph Benzmueller • Chad E Brown • Joerg Siekmann

409:-

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

  • 2008
  • Författare: Christoph Benzmueller, Chad E Brown, Joerg Siekmann
  • Format: Trade paperback
  • ISBN: 9781904987703
  • Språk: Engelska
  • Utgivningsdatum: 2008-12-01
  • Förlag: College Publications

Du kanske gillar

  1. bokomslag Sports Betting: Law and Policy

    Sports Betting: Law and Policy

    Paul M Anderson, Ian S Blackshaw, Robert C R Siekmann, Janwillem Soek

    Inbunden

    2599:-
  2. bokomslag Altes Deutschland. Der demografische Wandel und die Zukunft des Wohlfahrtsstaats

    Altes Deutschland. Der demografische ...

    Antje Minde, Markus Fix, Joerg Geuting, Carina Pelz

    Pocket

    699:-
  3. bokomslag Oscar Wildes Werke I

    Oscar Wildes Werke I

    Oscar Wilde, Orlando Syrg, Joerg K Sommermeyer

    Pocket

    299:-
  4. bokomslag The Internet and European Integration

    The Internet and European Integration

    Dr Pieter De Wilde, Dr Asimina Michailidou, Prof Hans Joerg Trenz

    Pocket

    1009:-
  5. bokomslag The Internet and European Integration

    The Internet and European Integration

    Dr Asimina Michailidou, Dr Pieter De Wilde, Prof Hans Joerg Trenz

    Inbunden

    629:-
  6. bokomslag Talent Identification and Development in Sport

    Talent Identification and Development...

    Joseph Baker, Stephen Cobley, Joerg Schorer

    Inbunden

    2099:-
  7. bokomslag Johann Wolfgang von Goethes Reineke Fuchs

    Johann Wolfgang von Goethes Reineke F...

    Johann Wolfgang Von Goethe, Johann Wolfgang Von Goethe, Joerg K Sommermeyer, Orlando Syrg, Joerg K Sommermeyer

    Pocket

    259:-
  8. bokomslag Medical Devices

    Medical Devices

    Carlo Boccato, Sergio Cerutti, Joerg Vienken

    Inbunden

    2309:-
  9. bokomslag Medical Devices

    Medical Devices

    Carlo Boccato, Sergio Cerutti, Joerg Vienken

    Pocket

    1749:-
  10. bokomslag Journey of Redemption's Voice

    Journey of Redemption's Voice

    Chad E Taylor Chad E Taylor

    Pocket

    339:-

Andra av samma författare

  1. bokomslag Foundations of Mathematics I

    Foundations of Mathematics I

    Claus Peter Wirth, Joerg Siekmann, Michael Gabbay

    349:-
  2. bokomslag Foundations of Mathematics I

    Foundations of Mathematics I

    Claus Peter Wirth, Joerg Siekmann, Michael Gabbay

    Pocket

    319:-
  3. bokomslag Automated Reasoning in Higher-order Logic

    Automated Reasoning in Higher-order L...

    Chad E Brown

    409:-