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

429:-

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

    2529:-
  2. bokomslag Oscar Wildes Werke I

    Oscar Wildes Werke I

    Oscar Wilde, Orlando Syrg, Joerg K Sommermeyer

    Pocket

    289:-
  3. bokomslag Altes Deutschland. Der demografische Wandel und die Zukunft des Wohlfahrtsstaats

    Altes Deutschland. Der demografische ...

    Antje Minde, Markus Fix, Joerg Geuting

    Pocket

    699:-
  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 Surgical Care Of Major Newborn Malformations

    Surgical Care Of Major Newborn Malfor...

    Chad E Hamner Stephen E Dolgin

    Inbunden

    2689:-
  6. bokomslag Verschleiss metallischer Werkstoffe

    Verschleiss metallischer Werkstoffe

    Karl Sommer, Rudolf Heinz, Joerg Schoefer

    Häftad

    1449:-
  7. bokomslag End of the Eurocrats' Dream

    End of the Eurocrats' Dream

    Damian Chalmers, Markus Jachtenfuchs, Christian Joerges

    Inbunden

    769:-
  8. bokomslag The Internet and European Integration

    The Internet and European Integration

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

    Inbunden

    659:-
  9. bokomslag Talent Identification and Development in Sport

    Talent Identification and Development...

    Joseph Baker, Stephen Cobley, Joerg Schorer

    Inbunden

    2039:-
  10. bokomslag Caribbean Psychology

    Caribbean Psychology

    Derek Chadee Jaipaul L Roopnarine

    Inbunden

    1359:-

Andra av samma författare

  1. bokomslag Foundations of Mathematics I

    Foundations of Mathematics I

    Claus Peter Wirth, Joerg Siekmann, Michael Gabbay

    Pocket

    359:-
  2. bokomslag Foundations of Mathematics I

    Foundations of Mathematics I

    Claus Peter Wirth, Joerg Siekmann, Michael Gabbay

    Pocket

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

    Automated Reasoning in Higher-order L...

    Chad E Brown

    429:-