Digital logic modeling system based on MODLAN.

Published in: DAC (1982)

Keyphrases

logic programming
real world
artificial intelligence
search engine
three dimensional
database
information retrieval
image processing
website
multiscale
evolutionary algorithm
logic programs
digital objects
sound and complete axiomatization