Opening book details…
About this Computer Science article
The Control Component of Open Mechanized Reasoning Systems1 1We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory. by Alessandro Armando; Alessandro Coglio; Fausto Giunchiglia is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Alessandro Armando; Alessandro Coglio; Fausto Giunchiglia
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 1999
- Language
- EN
- Field
- Computer Science (Physical Sciences)
More by Alessandro Armando; Alessandro Coglio; Fausto Giunchiglia
Browse all works by Alessandro Armando; Alessandro Coglio; Fausto Giunchiglia