Le Fun: Logic, Equations and Functions.

Hassan Aït-Kaci Patrick Lincoln Roger Nasr

Published in: SLP (1987)

Keyphrases

multi valued
computer games
neural network
modal logic
mathematical model
logic programming
linear equations
databases
data mining
genetic algorithm
e learning
case study
search algorithm
expert systems
predicate logic
proof theory