From logic design to logic programming. Theorem proving techniques and P- functions

zbMath0639.68004MaRDI QIDQ1099944

Dominique Snyers, André Thayse

Publication date: 1987

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

theorem provingprogram designimplementationlogic programmingspecificationnatural language understandingP-functionstext editors

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Natural language processing (68T50)

This page was built for publication: From logic design to logic programming. Theorem proving techniques and P- functions