![USF St. Petersburg campus Faculty Publications](../../assets/md5images/52cf493c5a23b7e6ce98867c6d97d5e9.jpg)
USF St. Petersburg campus Faculty Publications
Assertion-time inference in logic-based systems.
Document Type
Article
Publication Date
1989
ISBN
026210038X
Language
en_US
Publisher
MIT Press
Recommended Citation
Elfrink, B. & Reichgelt, H. (1989). Assertion-time inference in logic-based systems. In P. Jackson, H. Reichgelt, & F. van Harmelen, Logic-based knowledge representation. (pp: 113-141). Cambridge, MA: MIT Press.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
COinS
Comments
Citation only. Includes bibliographical references and index. For full access, check out the book through the USF St. Petersburg Library (QA76.76.E95J34 1989), request it on interlibrary loan, or order it through a book dealer.