Formal Universes.

Published in: Logic, Rewriting, and Concurrency (2015)

Keyphrases

formal model
cooperative
formal specification
machine learning
three dimensional
support vector
natural language
medical images
formal methods