Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Automatic theorem proving --- Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Theorema's--Automatische bewijsvoering --- Théorèmes--Démonstration automatique --- Robinson, John Alan --- Automatic theorem proving. --- Logic programming. --- Robinson, J. A. (John Alan)