On program synthesis knowledge

Feb-1-1978–Classics

Artificial Intelligence 3:241-279

artificial intelligence, knowledge, program synthesis knowledge, (4 more...)

Feb-1-1978

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.56)