scientific article; zbMATH DE number 3689361
From MaRDI portal
Publication:3884089
zbMATH Open0442.03017MaRDI QIDQ3884089FDOQ3884089
Authors: Willem van der Poel, C. E. Schaap, G. van der Mey
Publication date: 1980
Title of this publication is not available (Why is that?)
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)
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3884089)