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

scientific article; zbMATH DE number 4113971

From MaRDI portal

Publication:4729329

Jump to:navigation, search

zbMath0679.68045MaRDI QIDQ4729329

Alain Colmerauer

Publication date: 1989

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

zbMATH Keywords

unification programming language Prolog constraint resolution

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of software (68N99)

Related Items (5)

Prolog infinite trees and automata ⋮ Algèbres effectives dans la programmation logique avec contraintes ⋮ Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini ⋮ Combination techniques and decision problems for disunification ⋮ Conditional narrowing modulo a set of equations

This page was built for publication:

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