On Mutually Recursive Free Types in Z.

Ian Toyn Samuel H. Valentine David A. Duffy

Published in: ZB (2000)

Keyphrases

case study
databases
machine learning
artificial intelligence
high quality
multi agent
information technology
probability distribution