Logic Programming and Automated Reasoning
Subtitle: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Biotechnology in Agriculture and Forestry)
Publisher: Springer
Published: July 1994
Language: eng
Format: Paperback
Number of pages: 345
ISBN-13: 9783540582168
Subjects: Artificial intelligence; Computer architecture & logic design; Mathematical theory of computation; Programming languages; Artificial Intelligence - General; Logic; Programming - Object Oriented Programming; Computers - Languages / Programming
First sentence: Most interactive theorem proving systems support some notion of "high-level" proof, although this is usually informal.