scientific article
From MaRDI portal
Publication:3776674
zbMath0636.68123MaRDI QIDQ3776674
Jan Małuszyński, Włodzimierz Drabent
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Inductive assertion method for logic pograms, On definite program answers and least Herbrand models, S-semantics -- an example, Declarative modeling of the operational behavior of logic languages
