λProlog: An extended logic programming language

Amy Felty; Elsa Gunter; John Hannan; Dale Miller; Gopalan Nadathur; Andre Scedrov

doi:10.1007/BFb0012882

λProlog: An extended logic programming language

Amy Felty
, Elsa Gunter
, John Hannan
, Dale Miller
, Gopalan Nadathur
, Andre Scedrov

School of Engineering and Applied Science
Duke University
University of Pennsylvania

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	9th International Conference on Automated Deduction, Proceedings
rédacteurs en chef	Ewing Lusk, Ross Overbeek
Editeur	Springer Verlag
Pages	754-755
Nombre de pages	2
ISBN (imprimé)	9783540193432
Les DOIs	https://doi.org/10.1007/BFb0012882
état	Publié - 1 janv. 1988
Modification externe	Oui
Evénement	9th International Conference on Automated Deduction, CADE 1988 - Argonne, États-Unis Durée: 23 mai 1988 → 26 mai 1988

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	310 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	9th International Conference on Automated Deduction, CADE 1988
Pays/Territoire	États-Unis
La ville	Argonne
période	23/05/88 → 26/05/88

Accès au document

10.1007/BFb0012882

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Felty, A., Gunter, E., Hannan, J., Miller, D., Nadathur, G., & Scedrov, A. (1988). λProlog: An extended logic programming language. Dans E. Lusk, & R. Overbeek (eds.), 9th International Conference on Automated Deduction, Proceedings (p. 754-755). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 310 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0012882

Felty, Amy ; Gunter, Elsa ; Hannan, John et al. / λProlog : An extended logic programming language. 9th International Conference on Automated Deduction, Proceedings. Editeur / Ewing Lusk ; Ross Overbeek. Springer Verlag, 1988. p. 754-755 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6f132d72f4224411be9bad727cf1813d,

title = "λProlog: An extended logic programming language",

author = "Amy Felty and Elsa Gunter and John Hannan and Dale Miller and Gopalan Nadathur and Andre Scedrov",

year = "1988",

month = jan,

day = "1",

doi = "10.1007/BFb0012882",

language = "English",

isbn = "9783540193432",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "754--755",

editor = "Ewing Lusk and Ross Overbeek",

booktitle = "9th International Conference on Automated Deduction, Proceedings",

note = "9th International Conference on Automated Deduction, CADE 1988 ; Conference date: 23-05-1988 Through 26-05-1988",

}

Felty, A, Gunter, E, Hannan, J, Miller, D, Nadathur, G & Scedrov, A 1988, λProlog: An extended logic programming language. Dans E Lusk & R Overbeek (eds), 9th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 310 LNCS, Springer Verlag, p. 754-755, 9th International Conference on Automated Deduction, CADE 1988, Argonne, États-Unis, 23/05/88. https://doi.org/10.1007/BFb0012882

λProlog: An extended logic programming language. / Felty, Amy; Gunter, Elsa; Hannan, John et al.
9th International Conference on Automated Deduction, Proceedings. Ed. / Ewing Lusk; Ross Overbeek. Springer Verlag, 1988. p. 754-755 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 310 LNCS).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - λProlog

T2 - 9th International Conference on Automated Deduction, CADE 1988

AU - Felty, Amy

AU - Gunter, Elsa

AU - Hannan, John

AU - Miller, Dale

AU - Nadathur, Gopalan

AU - Scedrov, Andre

PY - 1988/1/1

Y1 - 1988/1/1

UR - https://www.scopus.com/pages/publications/33644650851

U2 - 10.1007/BFb0012882

DO - 10.1007/BFb0012882

M3 - Conference contribution

AN - SCOPUS:33644650851

SN - 9783540193432

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 754

EP - 755

BT - 9th International Conference on Automated Deduction, Proceedings

A2 - Lusk, Ewing

A2 - Overbeek, Ross

PB - Springer Verlag

Y2 - 23 May 1988 through 26 May 1988

ER -

Felty A, Gunter E, Hannan J, Miller D, Nadathur G, Scedrov A. λProlog: An extended logic programming language. Dans Lusk E, Overbeek R, rédacteurs en chef, 9th International Conference on Automated Deduction, Proceedings. Springer Verlag. 1988. p. 754-755. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0012882