A note on knowledge-based programs and specifications

What this record says

Knowledge-based program are programs with explicit tests for knowledge. They have been used successfully in a number of applications. Sanders

CATALOG · The abstract is indexed.