scientific article
From MaRDI portal
Publication:3884089
zbMath0442.03017MaRDI QIDQ3884089
G. van der Mey, C. E. Schaap, W. van der Poel
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Combinatory logic and lambda calculus (03B40) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (1)
This page was built for publication: