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

Jump to:navigation, search

zbMath0714.68012MaRDI QIDQ3200537

Michael Hanus

Publication date: 1989

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

zbMATH Keywords

Prolog compiler specification Warren abstract machine

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Artificial intelligence (68T99) Logic programming (68N17)

Related Items

Horn clause programs with polymorphic types: Semantics and resolution

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