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

scientific article; zbMATH DE number 695093

From MaRDI portal

Publication:4314595

Jump to:navigation, search

zbMath0819.68077MaRDI QIDQ4314595

Dave Robertson, Jordi Levy, Jane Hesketh, Jaume Agustí

Publication date: 23 November 1994

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

zbMATH Keywords

Prolog programs requirements capture

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Essential concepts of algebraic specification and program development

This page was built for publication:

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