An approach to theorem proving on the basis of a typed lambda-calculus

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
Original languageEnglish
Title of host publication5th Conference on Automated Deduction (CADE, Les Arcs, France, July 8-11, 1980)
EditorsW. Bibel, R.A. Kowalski
Place of PublicationBerlin
PublisherSpringer
Chapter15
Pages182-194
Number of pages13
ISBN (Electronic)978-3-540-38140-2
ISBN (Print)3-540-10009-1, 978-3-540-10009-6
DOIs
Publication statusPublished - 1980

Publication series

NameLecture Notes in Computer Science
Volume87
ISSN (Print)0302-9743

Cite this