Executing Intensional Logic with the TAS Tool.

Manuel Enciso J. F. Moncada Inman P. de Guzmán Manuel Ojeda-Aciego

Published in: APPIA-GULP-PRODE (1996)

Keyphrases

logic programming
automated reasoning
classical logic
software tools
analysis tool
real time
data mining
decision trees
higher order
user friendly
multi valued
asynchronous circuits