Opening book details…
About this Computer Science article
Jäger Gerhard and Stärk Robert F.. A proof-theoretic framework for logic programming. Handbook of proof theory, edited by Buss Samuel R., Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 639–682 by Arai, Toshiyasu is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Arai, Toshiyasu
- Publisher
- JSTOR; Cambridge University Press; Cambridge University Press (CUP) (ISSN 1079-8986)
- Published
- 2000
- Language
- EN
- Field
- Computer Science (Physical Sciences)