Login / Signup

Evaluation of verification tools for knowledge-based systems.

Alun D. PreeceStephane TalbotLaurence Vignollet
Published in: Int. J. Hum. Comput. Stud. (1997)
Keyphrases