Bit-mapped graphics: A semantics and theory.

Published in: Comput. Graph. (1987)

Keyphrases

logic programming
computer graphics
speech acts
genetic algorithm
formal theory
proof theoretic
closed world assumption
database
high level
user interface
computational model
default reasoning
formal semantics
general theory
abstract argumentation