Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Logic Programming
Home
Publications
Logic Programming
Logic Programming
JC
John S. Conery
John S. Conery
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1987
book chapter
Published by
Springer Nature
p.
7-34
https://doi.org/10.1007/978-1-4613-1987-0_2
Abstract
No abstract available
Keywords
SEMANTICS
LOGIC PROGRAMMING
MARSEILLE
FORMALISM
STATEMENTS
COLLEAGUES
PROVER
THEOREM
COLMERAUER
Cited by 8 articles