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 • Chad E Brown

409:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

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

Du kanske gillar

  1. bokomslag Surgical Care Of Major Newborn Malformations

    Surgical Care Of Major Newborn Malfor...

    Stephen E Dolgin & Chad E Hamner, Stephen E Dolgin & Chad E Hamner, Stephen E Dolgin, Chad E Hamner, Stephen E Dolgin

    Inbunden

    2659:-
  2. bokomslag Grieve's Modern Musculoskeletal Physiotherapy

    Grieve's Modern Musculoskeletal Physi...

    Deborah Falla, Jeremy Lewis, Christopher McCarthy, Chad E Cook, Michele Sterling

    1639:-
  3. bokomslag EU, Sport, Law and Policy

    EU, Sport, Law and Policy

    Simon Gardiner, Richard Parrish, Robert C R Siekmann

    Inbunden

    1969:-
  4. bokomslag Social Psychology of Nonverbal Communication

    Social Psychology of Nonverbal Commun...

    A Kostic, D Chadee, Aleksandra Kostic, Derek Chadee

    Inbunden

    1389:-
  5. bokomslag Positive Psychology

    Positive Psychology

    Aleksandra Kostic, Derek Chadee, Aleksandra Kostic, Derek Chadee

    Pocket

    529:-
  6. bokomslag Sports Betting: Law and Policy

    Sports Betting: Law and Policy

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

    Inbunden

    2609:-
  7. bokomslag Automation of Reasoning

    Automation of Reasoning

    J Siekmann, G Wrightson, Jörg Siekmann

    Pocket

    1429:-
  8. bokomslag True Manliness

    True Manliness

    E E Brown, E E Brown, E E Brown, E E Brown

    Klotband

    1069:-
  9. bokomslag Resource-Adaptive Cognitive Processes

    Resource-Adaptive Cognitive Processes

    Matthew W Crocker, Jörg Siekmann, Jarg Siekmann

    Inbunden

    2209:-
  10. bokomslag Thermal Decomposition of Ionic Solids

    Thermal Decomposition of Ionic Solids

    A K Galwey, M E Brown, A K Galwey, M E Brown, A K Galwey

    5049:-

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

    C E Brown Chad E Brown

    409:-