Treffer: Formal specification languages in knowledge and software engineering.
Title:
Formal specification languages in knowledge and software engineering.
Authors:
Source:
Knowledge Engineering Review; Dec1995, Vol. 10 Issue 4, p361-404, 44p
Database:
Complementary Index