S-logic: a higher order logic for deductive databases

Files
ucalgary_1990_liu_mengchi_571957.pdf (5.96 MB)
Date
1990
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 109-112.
Keywords
Citation
Liu, M. (1990). S-logic: a higher order logic for deductive databases (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/10975
URI
http://hdl.handle.net/1880/17851
Collections
Legacy Theses