On ESTheta Theory and the Logic of the X12 Date/Time Qualifiers.

Steven O. Kimbrough

Published in: HICSS (5) (1998)

Keyphrases

formal theory
logic programming
set theory
computer algebra
probability theory
classical logic
neural network
asynchronous circuits
commonsense reasoning
genetic algorithm
real time
predicate logic
theoretical framework
multi agent
boolean algebra
proof theoretic
finite model theory