Department of Computer Information Science

Department of Computer Information Science

22

pages

English

Documents

Écrit par
Amy Felty

Publié par
chaeh

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Découvre YouScribe en t'inscrivant gratuitement

22

pages

English

Ebook

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

Nombre de lectures

8

Langue

English

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

Publié par

Nombre de lectures

8

Langue

English

Language Logic programming Higher-order logic

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

Univers
Ebooks
Livres audio
Presse
Podcasts
BD
Documents

© 2010-2024 YouScribe

Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts