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

scientific article; zbMATH DE number 7112681

From MaRDI portal

Publication:5195749

Jump to:navigation, search

DOI10.11990/JHEU.201709122zbMath1438.68102MaRDI QIDQ5195749

Lei Liu, Shuai Lu, Zhuang Li, Junqi Ren

Publication date: 2 October 2019

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

zbMATH Keywords

automated reasoning artificial intelligence problem solving formal method membrane calculus

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

This page was built for publication:

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