scientific article
From MaRDI portal
Publication:3336739
zbMath0546.68080MaRDI QIDQ3336739
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LCFtactical theorem provingcontrol algorithms of natural deduction theorem proversLogic for Computable Functionsproof discovery algorithms
Related Items (1)
This page was built for publication: