scientific article
From MaRDI portal
Publication:3814797
zbMath0663.68038MaRDI QIDQ3814797
Joseph Y. Halpern, Ronald Fagin
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Theory of operating systems (68N25)
This page was built for publication:
