A Tool for Analysing Logics.

Sheila R. M. Veloso Paulo A. S. Veloso Paula M. Veloso

Published in: LSFA (2010)

Keyphrases

neural network
expressive power
real world
case study
three dimensional
database systems
multiscale
model checking
modal logic