Logical Reasoning 1
bokomslag Logical Reasoning
Vetenskap & teknik

Logical Reasoning

Fairouz Kamareddine • Rob Nederpelt

339:-

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

  • 2004
  • Författare: Fairouz Kamareddine, Rob Nederpelt
  • Format: Trade paperback
  • ISBN: 9780954300678
  • Språk: Engelska
  • Utgivningsdatum: 2004-04-02
  • Förlag: College Publications

Du kanske gillar

  1. bokomslag Object-oriented Quality Management (OQRM). Een Praktische Methode Voor Kwaliteits- En Risicomanagement.

    Object-oriented Quality Management (O...

    Peter W M Van Nederpelt Peter W M Van...

    Pocket

    239:-
  2. bokomslag Primer of Mathematical Analysis and the Foundations of Computation

    Primer of Mathematical Analysis and t...

    Jonathan Seldin Fairouz Kamareddine

    Pocket

    379:-
  3. bokomslag Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Claudio Sacerdoti Coen Fairouz Kamare...

    Pocket

    699:-
  4. bokomslag Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary

    Century since Principia's Substitutio...

    Fairouz Kamareddine

    Pocket

    339:-
  5. bokomslag It Doesn`t Really Matter

    It Doesn`t Really Matter

    Fairouz Zu`Bi Alatabeh

    Häftad

    269:-
  6. bokomslag Modern Perspective on Type Theory

    Modern Perspective on Type Theory

    F D Kamareddine, T Laan, Rob Nederpelt

    Inbunden

    2549:-
  7. bokomslag Modern Perspective on Type Theory

    Modern Perspective on Type Theory

    F D Kamareddine, T Laan, Rob Nederpelt

    1859:-
  8. Ny
    bokomslag Stacken

    Stacken

    Annika Norlin

    Pocket

    115:-
  9. bokomslag Thirty Five Years of Automating Mathematics

    Thirty Five Years of Automating Mathe...

    F D Kamareddine

    1429:-
  10. bokomslag Thirty Five Years of Automating Mathematics

    Thirty Five Years of Automating Mathe...

    F D Kamareddine

    Inbunden

    1469:-

Andra av samma författare

  1. bokomslag Type Theory and Formal Proof

    Type Theory and Formal Proof

    Herman Geuvers Rob Nederpelt

    Inbunden

    1259:-
  2. bokomslag Modern Perspective on Type Theory

    Modern Perspective on Type Theory

    F D Kamareddine, T Laan, Rob Nederpelt

    Inbunden

    2549:-
  3. bokomslag Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary

    Century since Principia's Substitutio...

    Fairouz Kamareddine

    Pocket

    339:-
  4. bokomslag Primer of Mathematical Analysis and the Foundations of Computation

    Primer of Mathematical Analysis and t...

    Jonathan Seldin Fairouz Kamareddine

    Pocket

    379:-
  5. bokomslag Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Claudio Sacerdoti Coen Fairouz Kamare...

    Pocket

    699:-
  6. bokomslag Modern Perspective on Type Theory

    Modern Perspective on Type Theory

    F D Kamareddine, T Laan, Rob Nederpelt

    1859:-
  7. bokomslag Intelligent Technologies and Applications

    Intelligent Technologies and Applicat...

    Imran Sarwar Bajwa, Fairouz Kamareddine, Anna Costa

    Pocket

    1469:-