Interpolation in computing science: the semantics of modularization.

Gerard R. Renardel de Lavalette

Published in: Synth. (2008)

Keyphrases

formal semantics
logic programming
artificial intelligence
computer science
image interpolation
neural network
knowledge base
object oriented
software design
middle school