scientific article; zbMATH DE number 784355
From MaRDI portal
Publication:4843399
zbMath0827.68075MaRDI QIDQ4843399
No author found.
Publication date: 13 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ConferenceWorkshopartificial intelligenceVienna (Austria)Formal specificationreasoning systemsECAIComplex reasoning systems
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (2)
Temporal theories of reasoning ⋮ The development, validation and implementation of knowledge-based systems
This page was built for publication:
