CafeOBJ Traces.

Razvan Diaconescu

Published in: Specification, Algebra, and Software (2014)

Keyphrases

machine learning
artificial intelligence
special case
knowledge representation
open source