scientific article; zbMATH DE number 3571529
From MaRDI portal
Publication:4142723
zbMath0366.68068MaRDI QIDQ4142723
Witold jun. Lipski, Victor W. Marek
Publication date: 1977
Full work available at URL: https://eudml.org/doc/208572
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Enumerative combinatorics (05A99) Classical propositional logic (03B05) Information storage and retrieval of data (68P20) General topics in the theory of software (68N01)
Related Items (2)
A deductive database on Aristotelian logic ⋮ Logical foundation approach to users' domain restriction in data bases
This page was built for publication:
