Suchergebnisse - Farmer, William M.

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    von Farmer, William M. 19XX-

    Veröffentlicht 2023
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
    von Farmer, William M. 19XX-

    Veröffentlicht 2023
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Intelligent computer mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Farmer, William M. …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: