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

scientific article; zbMATH DE number 3332896

From MaRDI portal

Publication:5609735

Jump to:navigation, search

zbMath0209.18602MaRDI QIDQ5609735

Saul Amarel

Publication date: 1970

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Finding resolution proofs and using duplicate goals in AND/OR trees, Strategy construction using homomorphisms between games, Constraint propagation techniques for the disjunctive scheduling problem

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