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

scientific article; zbMATH DE number 1354157

From MaRDI portal

Publication:4268472

Jump to:navigation, search

zbMath0925.03049MaRDI QIDQ4268472

Robert F. Stärk

Publication date: 28 October 1999

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

Related Items (5)

Correctness and Completeness of Logic Programs ⋮ Non-discriminating Arguments and Their Uses ⋮ Quantitative Logic Programming Revisited ⋮ Qualified Logic Programming with Bivalued Predicates ⋮ A Declarative Agent Programming Language Based on Action Theories

This page was built for publication:

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