Automatic theorem proving: A logical basis

Feb-1-1978–Classics

Amsterdam: North- Holland.

artificial intelligence, logic & formal reasoning, translation, (8 more...)

Feb-1-1978

Classics Web Page

Country:
- Europe > Netherlands > North Holland > Amsterdam (0.24)

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