Project Abstract: Logic Atlas and Integrator (LATIN).

Mihai Codescu Feryal Fulya Horozal Michael Kohlhase Till Mossakowski Florian Rabe

Published in: Calculemus/MKM (2011)

Keyphrases

case study
logic programming
mr images
project management
asynchronous circuits
modal logic
automated reasoning
multi valued
data sets
neural network
high level
software projects
learning community
deformation field
computational properties