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.

induction hypothesis, logic programming, us government, (19 more...)

Feb-1-1980

Country:
- Europe > United Kingdom
  - England (0.14)
  - Scotland (0.14)
- North America > United States
  - California (0.14)
  - New York (0.14)

Industry:
- Government > Regional 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