A deductive approach to program synthesis

Manna, Z. | Waldinger, R.

Feb-1-1980–Classics/files/AI/classics/Webber-Nilsson-Readings/Rdgs-NW-Manna-Waldinger.pdf

ACM Transactions on Programming Languages and Systems 2(1): 90-121.

artificial intelligence, induction hypothesis, logic & formal reasoning, (16 more...)

Feb-1-1980

Country:
- North America > United States (1.00)

Industry:
- Government (0.46)

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

Duplicate Docs Excel Report

Title
PROGRAM SYNTHESIS / 141

Similar Docs Excel Report more

Title	Similarity	Source
None found