Person:1040333: Difference between revisions

Latest revision as of 08:03, 13 December 2023

Publication	Date of Publication	Type
Systems of agents controlled by logical programs: complexity of verification	2009-11-24	Paper
On complexity of verification of interacting agents' behavior	2006-08-16	Paper
On feasible cases of checking multi-agent systems behavior.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4708912	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4511271	2000-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4085262	1975-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: M. K. Valiev

Revision as of 15:06, 24 September 2023 view source Import230924090903 (talk \| contribs) 970,846 edits Created automatically from import230924090903	Latest revision as of 08:03, 13 December 2023 view source AuthorDisambiguator (talk \| contribs) Bots, Administrators 1,238,488 edits m AuthorDisambiguator moved page M. K. Valiev to M. K. Valiev: Duplicate
(No difference)