scientific article
From MaRDI portal
Publication:4002238
zbMath0745.00070MaRDI QIDQ4002238
No author found.
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30)
Related Items (4)
How to progress a database ⋮ Loop formulas for circumscription ⋮ On strongest necessary and weakest sufficient conditions ⋮ Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
This page was built for publication:
