Using logic to solve the submodule construction problem.

Gregor von Bochmann

Published in: Discret. Event Dyn. Syst. (2013)

Keyphrases

data structure
databases
logic programming
mathematical programming
classical logic
real time
real world
computer vision
logic programs
predicate logic
deontic logic