Tutorial on λ prolog

Amy Felty; Elsa Gunter; Dale Miller; Frank Pfenning

doi:10.1007/3-540-52885-7_142

Tutorial on λ prolog

Amy Felty
, Elsa Gunter
, Dale Miller
, Frank Pfenning

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	10th International Conference on Automated Deduction, Proceedings
Editors	Mark E. Stickel
Publisher	Springer Verlag
Pages	682
Number of pages	1
ISBN (Print)	9783540528852
DOIs	https://doi.org/10.1007/3-540-52885-7_142
Publication status	Published - 1 Jan 1990
Externally published	Yes
Event	10th International Conference on Automated Deduction, CADE 1990 - Kaiserslautern, Germany Duration: 24 Jul 1990 → 27 Jul 1990

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	449 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th International Conference on Automated Deduction, CADE 1990
Country/Territory	Germany
City	Kaiserslautern
Period	24/07/90 → 27/07/90

Access to Document

10.1007/3-540-52885-7_142

Cite this

Felty, A., Gunter, E., Miller, D., & Pfenning, F. (1990). Tutorial on λ prolog. In M. E. Stickel (Ed.), 10th International Conference on Automated Deduction, Proceedings (pp. 682). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 449 LNAI). Springer Verlag. https://doi.org/10.1007/3-540-52885-7_142

@inproceedings{e2631c0c70c24232a2ea38e82efd875f,

title = "Tutorial on λ prolog",

author = "Amy Felty and Elsa Gunter and Dale Miller and Frank Pfenning",

year = "1990",

month = jan,

day = "1",

doi = "10.1007/3-540-52885-7\_142",

language = "English",

isbn = "9783540528852",

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

publisher = "Springer Verlag",

pages = "682",

editor = "Stickel, \{Mark E.\}",

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

note = "10th International Conference on Automated Deduction, CADE 1990 ; Conference date: 24-07-1990 Through 27-07-1990",

}

Felty, A, Gunter, E, Miller, D & Pfenning, F 1990, Tutorial on λ prolog. in ME Stickel (ed.), 10th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 449 LNAI, Springer Verlag, pp. 682, 10th International Conference on Automated Deduction, CADE 1990, Kaiserslautern, Germany, 24/07/90. https://doi.org/10.1007/3-540-52885-7_142

Tutorial on λ prolog. / Felty, Amy; Gunter, Elsa; Miller, Dale et al.
10th International Conference on Automated Deduction, Proceedings. ed. / Mark E. Stickel. Springer Verlag, 1990. p. 682 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 449 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Tutorial on λ prolog

AU - Felty, Amy

AU - Gunter, Elsa

AU - Miller, Dale

AU - Pfenning, Frank

PY - 1990/1/1

Y1 - 1990/1/1

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

U2 - 10.1007/3-540-52885-7_142

DO - 10.1007/3-540-52885-7_142

M3 - Conference contribution

AN - SCOPUS:85031808042

SN - 9783540528852

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

SP - 682

BT - 10th International Conference on Automated Deduction, Proceedings

A2 - Stickel, Mark E.

PB - Springer Verlag

T2 - 10th International Conference on Automated Deduction, CADE 1990

Y2 - 24 July 1990 through 27 July 1990

ER -

Tutorial on λ prolog

Publication series

Conference

Access to Document

Other files and links

Cite this