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; zbMATH DE number 5228081 - MaRDI portal

scientific article; zbMATH DE number 5228081

From MaRDI portal

Publication:5437093

Jump to:navigation, search

zbMath1150.68468MaRDI QIDQ5437093

V. B. Novoseltsev

Publication date: 18 January 2008

Full work available at URL: https://eudml.org/doc/54784

File on IPFS

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

zbMATH Keywords

theorem proving recursion formal theory nonprocedural description

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication:

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