scientific article
From MaRDI portal
Publication:3780488
zbMath0639.68098MaRDI QIDQ3780488
John Staples, Peter J. Robinson
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
matchingimplementationlogic programming languagesunification algorithmfunctional programming languagesquantified termsProlog interpreterquantifier syntax
This page was built for publication: