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

Jump to:navigation, search

zbMath0675.68018MaRDI QIDQ3830520

Taisuke Sato, Hisao Tamaki

Publication date: 1988

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

zbMATH Keywords

logic programming definite clause program Alexander method first order compiler

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Related Items (3)

Existential continuation ⋮ First order compiler: A deterministic logic program synthesis algorithm ⋮ A transformation system for deductive database modules with perfect model semantics

This page was built for publication:

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