11 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
11 results

Your search for William M. Farmer

  1. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    04/2025
    2nd EDN2nd Edition
    Birkhäuser
    9783031853524 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  2. Cover: Intelligent Computer Mathematics - Springer
    Florian Rabe | William M. Farmer | Grant O. Passmore
    Intelligent Computer Mathematics
    11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
    08/2018
    Springer
    9783319968124 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2023
    1st EDN1st Edition
    Birkhäuser
    9783031211126 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
    New edition available
  4. Cover: Intelligent Computer Mathematics - Springer
    James H. Davenport | William M. Farmer | Florian Rabe
    Intelligent Computer Mathematics
    18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
    07/2011
    Springer
    9783642226731 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Intelligent Computer Mathematics - Springer
    James H. Davenport | William M. Farmer | Florian Rabe
    Intelligent Computer Mathematics
    18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
    07/2011
    1st EDN1st Edition
    Springer
    9783642226724 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Simple Type Theory - Birkhauser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2023
    Birkhauser
    9783031211133 (ISBN)
    Book
    Paperback/Softback
    €49.51
    Shipment within 10-20 days
  7. Cover: Intelligent Computer Mathematics - Springer
    Florian Rabe | William M. Farmer | Grant O. Passmore
    Intelligent Computer Mathematics
    11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
    07/2018
    Springer
    9783319968117 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2024
    Birkhäuser
    9783031211140 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Exhausted; check different version
  9. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2023
    Birkhäuser
    9783031211119 (ISBN)
    Book
    Hardback
    Other editions
    €90.94
    Exhausted; check for reprint
    New edition available
  10. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    04/2025
    2nd EDN2nd Edition
    Birkhäuser
    9783031853517 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Shipment within 15-20 days
  11. Cover: Mathematical Knowledge Management - Springer
    Jonathan Borwein | William M. Farmer
    Mathematical Knowledge Management
    5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
    07/2006
    Springer
    9783540371045 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days