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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3114248

Jump to:navigation, search

zbMath1243.68013MaRDI QIDQ3114248

Martin Davis

Publication date: 2 February 2012

Full work available at URL: http://www.crcnetbase.com/isbn/9781466505193

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing Leibniz computers

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematics in the 18th century (01A50) History of mathematics in the 19th century (01A55) History of computer science (68-03)

Related Items (5)

Semantically-guided goal-sensitive reasoning: model representation ⋮ A Beginner's Guide to Mathematical Logic ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Algorithms: From Al-Khwarizmi to Turing and Beyond ⋮ Incompleteness and the halting problem

This page was built for publication:

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