Do-It-Yourself Type Theory.

Roland Carl Backhouse Paul Chisholm

Published in: Formal Aspects Comput. (1989)

Keyphrases

theoretical framework
artificial intelligence
database
information systems
computer vision
knowledge base
expert systems
probabilistic model
theoretical basis
general theory