scientific article
From MaRDI portal
Publication:2753603
zbMath0972.03532MaRDI QIDQ2753603
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (1)
This page was built for publication:
