Computational logic

zbMath1311.03006MaRDI QIDQ479004

No author found.

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

Mathematics Subject Classification ID

Database theory (68P15) History of mathematics in the 20th century (01A60) Collections of articles of miscellaneous specific interest (00B15) Logic in computer science (03B70) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) History of computer science (68-03) Theory of computing (68Qxx) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (4)

Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases ⋮ Martin Davis’s Bibliography 1950–2015 ⋮ Automating free logic in HOL, with an experimental application in category theory ⋮ Communities and ancestors associated with Egon Börger and ASM

This page was built for publication: Computational logic