Two systems of presupposition logic.

J. M. Bell Lloyd Humberstone

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

data sets
real time
e learning
data structure
hidden markov models
distributed systems
knowledge based systems
asynchronous circuits
computational properties
automated reasoning
temporal logic
computer systems
intelligent systems
information retrieval systems
management system
website
neural network