scientific article; zbMATH DE number 726582
From MaRDI portal
Publication:4323894
zbMath0822.68103MaRDI QIDQ4323894
Publication date: 22 February 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
This page was built for publication:
