USF St. Petersburg campus Faculty Publications

Title

Assertion-time inference in logic-based systems.

SelectedWorks Author Profiles:

Han Reichgelt

Document Type

Article

Publication Date

1989

ISBN

026210038X

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.

Language

en_US

Publisher

MIT Press

Creative Commons License

Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.

This document is currently not available here.

Share

COinS