Department of Computer Information Science
22
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
22
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Department of Computer & Information Science Technical Reports (CIS) University of Pennsylvania Year 1988 Specifying Theorem Provers in a Higher-Order Logic Programming Language Amy Felty Dale Miller University of Pennsylvania University of Pennsylvania This paper is posted at ScholarlyCommons. reports/622
- provers can
- provide means
- order unification
- languages
- introducing suitable constants
- theorem provers
- logic programming
- higher-order logic
- very complex
Publié par
Langue
English
