Login / Signup

Language and example of knowledge-based programming.

Enn Tyugu
Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Keyphrases