Computation with run time skolemisation (N-prolog part 3)
- D. M. Gabbay
- , U. Reyle
- Imperial College London
- University of Stuttgart
Research output: Contribution to journal › Article › peer-review
4
Scopus
citations