Łukasiewicz mu-Calculus.

Matteo Mio Alex Simpson

Published in: FICS (2013)

Keyphrases

development environment
computer algebra
databases
real world
information systems
website
multiscale
expert systems
user interface
evolutionary algorithm
mobile robot
automated deduction