scientific article
From MaRDI portal
Publication:3490986
zbMath0708.68057MaRDI QIDQ3490986
Patrice Enjalbert, Yves Auffray
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Resolution theorem proving in reified modal logics ⋮ Programming in metric temporal logic ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ Unsorted Functional Translations ⋮ Clausal resolution in a logic of rational agency
This page was built for publication:
