Automated deduction in classical and non-classical logics. Selected papers
From MaRDI portal
Publication:1967066
DOI10.1007/3-540-46508-1zbMath0933.00012OpenAlexW2481077391MaRDI QIDQ1967066
No author found.
Publication date: 8 March 2000
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-46508-1
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 (4)
Three-variable statements of set-pairing ⋮ \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Behavioral abstraction is hiding information
Uses Software
This page was built for publication: Automated deduction in classical and non-classical logics. Selected papers
