Introduction to the 1998 HICSS MiniTrack on Logic Modeling.

Steven O. Kimbrough Donald Nute

Published in: HICSS (5) (1998)

Keyphrases

information retrieval
case study
real time
three dimensional
logic programming
modeling language
proof theory
real world
genetic algorithm
image segmentation
knowledge representation
modeling framework
asynchronous circuits