Treffer 1 - 20 von 113 für Suche 'GEUVERS, HERMAN', Suchdauer: 1,01s Treffer weiter einschränken
  1. 1
    RELATING APARTNESS AND BISIMULATION

    RELATING APARTNESS AND BISIMULATION von Geuvers, Herman, Jacobs, Bart


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

    Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings von Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Formal Mathematics on Display: A Wiki for Flyspeck

    Formal Mathematics on Display: A Wiki for Flyspeck von Tankink, Carst, Kaliszyk, Cezary, Urban, Josef, Geuvers, Herman


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Continuation calculus

    Continuation calculus von Geron, Bram, Geuvers, Herman


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A Wiki for Mizar: Motivation, Considerations, and Initial Prototype

    A Wiki for Mizar: Motivation, Considerations, and Initial Prototype von Urban, Josef, Alama, Jesse, Rudnicki, Piotr, Geuvers, Herman


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A type system for Continuation Calculus

    A type system for Continuation Calculus von Geuvers, Herman, Geraedts, Wouter, Geron, Bram, van Stegeren, Judith


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Pure Type Systems without Explicit Contexts

    Pure Type Systems without Explicit Contexts von Geuvers, Herman, Krebbers, Robbert, McKinna, James, Wiedijk, Freek


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Three Chapters of Measure Theory in Isabelle/HOL

    Three Chapters of Measure Theory in Isabelle/HOL von Hölzl, Johannes, Heller, Armin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    N.G. de Bruijn’s contribution to the formalization of mathematics

    N.G. de Bruijn’s contribution to the formalization of mathematics von Geuvers, Herman, Nederpelt, Rob

    Veröffentlicht in Indagationes mathematicae

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    ENIGMA: Efficient Learning-Based Inference Guiding Machine

    ENIGMA: Efficient Learning-Based Inference Guiding Machine von Jakubův, Jan, Urban, Josef


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Deriving Natural Deduction Rules from Truth Tables

    Deriving Natural Deduction Rules from Truth Tables von Geuvers, Herman, Hurkens, Tonny


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics

    A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics von Carter, Nathan C., Monks, Kenneth G.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema

    The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema von Maletzky, Alexander, Windsteiger, Wolfgang


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    The New Numdam Platform

    The New Numdam Platform von Bouche, Thierry, Labbe, Olivier


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    The λμT-calculus

    The λμT-calculus von Geuvers, Herman, Krebbers, Robbert, McKinna, James


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The λ μ T -calculus

    The λ μ T -calculus von Geuvers, Herman, Krebbers, Robbert, McKinna, James


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Characteristics of de Bruijn's early proof checker Automath

    Characteristics of de Bruijn's early proof checker Automath von Geuvers, Herman, Nederpelt, Rob

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

    Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings von Van Eekelen, Marko, Geuvers, Herman, Schmaltz, Julien, Wiedijk, Freek

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Social processes, program verification and all that

    Social processes, program verification and all that von ASPERTI, ANDREA, GEUVERS, HERMAN, NATARAJAN, RAJA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Apartness and Distinguishing Formulas in Hennessy-Milner Logic

    Apartness and Distinguishing Formulas in Hennessy-Milner Logic von Geuvers, Herman


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: