Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Automated Reasoning with Analytic Tableaux and Related Methods - MaRDI portal

Automated Reasoning with Analytic Tableaux and Related Methods

From MaRDI portal

Publication:5187861

Jump to:navigation, search

DOI10.1007/B12030zbMath1274.03021OpenAlexW4302076531MaRDI QIDQ5187861

Nicola Olivetti, Valentina Gliozzi, Camilla B. Schwind, Laura Giordano

Publication date: 9 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b12030

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Conditional logic of actions and causation

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5187861&oldid=19763061"