Treffer 1 – 3 von 3 für Suche 'Felty, Amy', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

    Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice von Felty, Amy

    Veröffentlicht 2014
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Specifying and implementing theorem provers in a higher-order logic programming language

    Specifying and implementing theorem provers in a higher-order logic programming language von Felty, Amy

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    7th International Conference on Formal Structures for Computation and Deduction FSCD 2022, August 2–5, 2022, Haifa, Israel

    7th International Conference on Formal Structures for Computation and Deduction FSCD 2022, August 2–5, 2022, Haifa, Israel

    Veröffentlicht 2022
    Weitere Verfasser: “… Felty, Amy P. …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: