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

scientific article; zbMATH DE number 841929

From MaRDI portal

Publication:4862201

Jump to:navigation, search

zbMath0834.68008MaRDI QIDQ4862201

H.Herre, Hans-Joachim Goltz

Publication date: 6 February 1996

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

zbMATH Keywords

PROLOG universal theories definite programs

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

Frege and the resolution calculus

This page was built for publication:

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