Department of Computer Information Science
22 pages
English

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Department of Computer Information Science

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
22 pages
English
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Niveau: Supérieur
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


Sujets

Informations

Publié par
Nombre de lectures 8
Langue English

Exrait

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 University of Pennsylvania
This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis reports/622
Dale Miller University of Pennsylvania
  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents