Computational logic
zbMATH Open1311.03006MaRDI QIDQ479004FDOQ479004
Authors:
Publication date: 5 December 2014
Published in: Handbook of the History of Logic (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/handbooks/18745857/9
Collections of articles of miscellaneous specific interest (00B15) History of mathematics in the 20th century (01A60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) History of computer science (68-03) Database theory (68P15) History of mathematical logic and foundations (03-03) Logic in computer science (03B70) Theory of computing (68Qxx) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Cited In (9)
- Communities and ancestors associated with Egon Börger and ASM
- Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases
- Martin Davis’s Bibliography 1950–2015
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Label of a linguistic value in a universe of discourse and the truth values of fuzzy propositions
- Title not available (Why is that?)
- Automating free logic in HOL, with an experimental application in category theory
This page was built for publication: Computational logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q479004)
