Knowledge Representation and Reasoning in a Software Synthesis Architecture

Dorothy E. Setliff, Rob A. Rutenbar

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Knowledge Representation and Reasoning in a Software Synthesis Architecture'. Together they form a unique fingerprint.

Keyphrases

INIS

Computer Science