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
Mechanizing Mathematical Reasoning - MaRDI portal

Mechanizing Mathematical Reasoning

From MaRDI portal

Publication:5717464

Jump to:navigation, search

DOI10.1007/B106663zbMath1098.68123OpenAlexW2484955858MaRDI QIDQ5717464

Gabriele Kern-Isberner, Christoph Beierle

Publication date: 10 January 2006

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication: Mechanizing Mathematical Reasoning

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