scientific article; zbMATH DE number 3597875
From MaRDI portal
Publication:4164818
zbMath0384.68043MaRDI QIDQ4164818
Publication date: 1977
Full work available at URL: http://www.numdam.org/item?id=MSMF_1977__49-50__15_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Classical first-order logic (03B10) Software, source code, etc. for problems pertaining to real functions (26-04) Theory of software (68N99) Combinatory logic and lambda calculus (03B40) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Cites Work
This page was built for publication: