scientific article; zbMATH DE number 1745890
From MaRDI portal
Publication:4531958
zbMath1009.68145MaRDI QIDQ4531958
Publication date: 27 May 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (3)
Searching for shortest single axioms for groups of exponent \(6\) ⋮ Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach ⋮ Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
Uses Software
This page was built for publication:
