scientific article; zbMATH DE number 640290
From MaRDI portal
Publication:4306224
zbMath0807.03021MaRDI QIDQ4306224
Publication date: 5 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)
This page was built for publication:
