Automated deduction. A basis for applications. Vol. III: Applications
From MaRDI portal
Publication:1581357
zbMath0954.00010MaRDI QIDQ1581357
No author found.
Publication date: 17 September 2000
Published in: Applied Logic Series (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Higher-order semantics and extensionality ⋮ On First-Order Model-Based Reasoning ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Bounded Relational Analysis of Free Data Types ⋮ Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
