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
An Evaluation Based Theorem Prover - MaRDI portal

An Evaluation Based Theorem Prover

From MaRDI portal

Publication:3681965

Jump to:navigation, search

DOI10.1109/TPAMI.1985.4767619zbMath0566.68075WikidataQ52677725 ScholiaQ52677725MaRDI QIDQ3681965

Franco Sirovich, Pierpaolo Degano

Publication date: 1985

Published in: IEEE Transactions on Pattern Analysis and Machine Intelligence (Search for Journal in Brave)

zbMATH Keywords

symbolic computation symbolic evaluation iterative functions inductionless proofs

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (2)

Why Horn formulas matter in computer science: initial structures and generic examples ⋮ Pierpaolo Degano

This page was built for publication: An Evaluation Based Theorem Prover

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

Pages with script errors