Filtrera

Ämne
  • (10)
  • (6)
  • (2)
Format
  • (1)
  • (4)
  • (5)
Utgivningsår
  • (1)
  • (3)
  • (6)
Leveranstid
  • (4)

William M Farmer - Böcker

Visar alla böcker av William M Farmer. Handla med fri frakt och snabb leverans!

Sortering:

  1. Simple Type Theory

    av William M Farmer

    Inbunden, Engelska, 2023-01-02
    1103
    Köp
    Skickas från oss inom 7-10 vardagar.
    Simple Type Theory

    This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a classical higher...

    Läs mer »

  2. Simple Type Theory E-bok

    av William M Farmer

    E-bok (PDF, LCP), Engelska, 2023-01-01
    911
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Simple Type Theory

    This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a c...

    Läs mer »

  3. Simple Type Theory

    av William M Farmer

    Häftad, Engelska, 2023-01-02
    677
    Köp
    Skickas från oss inom 7-10 vardagar.
    Simple Type Theory

  4. Simple Type Theory

    av William M Farmer

    Häftad, Engelska, 2024-01-03
    789
    Köp
    Skickas från oss inom 7-10 vardagar.
    Simple Type Theory

    This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a classical higher...

    Läs mer »

  5. Intelligent Computer Mathematics

    av Florian Rabe, William M Farmer, Grant O Passmore, Abdou Youssef

    Häftad, Engelska, 2018-07-18
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Intelligent Computer Mathematics

    This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from ...

    Läs mer »

  6. Intelligent Computer Mathematics E-bok

    av Florian Rabe, William M Farmer, Grant O Passmore, Abdou Youssef

    E-bok (LCP), Engelska, 2018-08-02
    725
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Intelligent Computer Mathematics

    ?This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers   presented were carefully reviewed ...

    Läs mer »

  7. Mathematical Knowledge Management

    av Jonathan Borwein, William M Farmer

    Häftad, Engelska, 2006-07-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Mathematical Knowledge Management

    This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical k...

    Läs mer »

  8. Mathematical Knowledge Management E-bok

    av Jonathan Borwein, William M Farmer

    E-bok (PDF, LCP), Engelska, 2006-09-30
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Mathematical Knowledge Management

    This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical k...

    Läs mer »

  9. Intelligent Computer Mathematics

    av James H Davenport, William M Farmer, Florian Rabe, Josef Urban

    Häftad, Engelska, 2011-07-18
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Intelligent Computer Mathematics

    This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical K...

    Läs mer »

  10. Intelligent Computer Mathematics E-bok

    av James H Davenport, William M Farmer, Florian Rabe, Josef Urban

    E-bok (PDF, LCP), Engelska, 2011-07-18
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Intelligent Computer Mathematics

    This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical K...

    Läs mer »