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

Jump to:navigation, search

zbMath0594.68010MaRDI QIDQ3725520

Hirohisa Seki, Tadashi Kanamori

Publication date: 1986

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

zbMATH Keywords

natural deduction program verification Prolog programs Prolog interpreter Boyer and Moore theorem prover

Mathematics Subject Classification ID

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

Related Items (4)

Automatic inductive theorem proving using Prolog ⋮ An operational formal definition of PROLOG: A specification method and its application ⋮ Appropriate lemmae discovery ⋮ Logic program synthesis from incomplete specifications

This page was built for publication:

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