scientific article
From MaRDI portal
Publication:3021912
zbMath1103.68621MaRDI QIDQ3021912
Publication date: 21 June 2005
Full work available at URL: https://eudml.org/doc/41044
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Model theory of finite structures (03C13) Relational systems, laws of composition (08A02)
Uses Software
This page was built for publication:
