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:3819038

Jump to:navigation, search

zbMath0667.03004MaRDI QIDQ3819038

S. Yu. Maslov

Publication date: 1987

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

zbMATH Keywords

algorithms choice inverse method economics proof search Minsky machines science deducibility modelling of biological evolution Post systems humanities deductive information probabilistic calculi

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Social choice (91B14) General biology and biomathematics (92B05) Thue and Post systems, etc. (03D03) General logic (03Bxx)

Related Items (2)

A bright side of NP-hardness of interval computations: Interval heuristics applied to NP-problems ⋮ Proof-terms for classical and intuitionistic resolution

This page was built for publication:

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