Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: Frank Pfenning (Editor)
Publisher: Springer
Published: June 1994
Language: eng
Number of pages: 344
ISBN-13: 9780387582160
First sentence: Most interactive theorem proving systems support some notion of "high-level" proof, although this is usually informal.