Validation of Recursive Logic in Graphic Design.

Jinsong Yu Shengli Chen

Published in: J. Integr. Des. Process. Sci. (2016)

Keyphrases

graphic design
multi valued
computer supported
logic programming
classical logic
recursive algorithm
artificial intelligence
modal logic
subject matter
proof theory
recursive programs
case study
learning systems
predicate logic
model validation