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

scientific article; zbMATH DE number 6747870

From MaRDI portal

Publication:5282957

Jump to:navigation, search

zbMath1366.68163MaRDI QIDQ5282957

Francesco Belardinelli

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/36920

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Auctions, bargaining, bidding and selling, and other market models (91B26) Agent technology and artificial intelligence (68T42)

Related Items (1)

A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

This page was built for publication:

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