scientific article; zbMATH DE number 194582
From MaRDI portal
Publication:4692551
zbMath0713.68002MaRDI QIDQ4692551
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mechanization of proofs and logical operations (03B35)
Related Items (3)
A metalogic programming approach: language, semantics and applications ⋮ Knowledge representation for grounded theory construction in qualitative data analysis ⋮ Semantic networks
This page was built for publication:
