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 3601585 - MaRDI portal

scientific article; zbMATH DE number 3601585

From MaRDI portal

Publication:4168922

Jump to:navigation, search

zbMATH Open0387.03024MaRDI QIDQ4168922

B. A. Trakhtenbrot

Publication date: 1977

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Algorithms in computer science (68W99) Proof theory and constructive mathematics (03F99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4168922)

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