المؤلفون: Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.

المساهمون: Gutierrez, J., Harrenstein, P., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Bisimulation, Concurrency, Logic and Game, Nash Equilibrium

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/18605974; info:eu-repo/semantics/altIdentifier/wos/WOS:000505787200004; volume:15; issue:3; lastpage:49; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/11573/1403431Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074158987

الإتاحة: https://doi.org/10.23638/LMCS-15Test(3:32)2019
http://hdl.handle.net/11573/1403431Test

المؤلفون: Gutierrez, J, Harrenstein, B, Perelli, G, Wooldridge, M

العلاقة: https://ora.ox.ac.uk/objects/uuid:a69e3ba6-c0eb-4bac-af87-22fb24183945Test; https://doi.org/10.23638/LMCS-15Test(3:32)2019

الإتاحة: https://doi.org/10.23638/LMCS-15Test(3:32)2019
https://ora.ox.ac.uk/objects/uuid:a69e3ba6-c0eb-4bac-af87-22fb24183945Test

المؤلفون: Mogavero F., Murano A., Perelli G., Vardi M. Y.

المساهمون: Mogavero, F., Murano, A., Perelli, G., Vardi, M. Y.

مصطلحات موضوعية: Alternating-time, Multi-agent game, Strategic reasoning, Strategy logic

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000418916500016; volume:13; issue:1; numberofpages:37; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/11573/1403446Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85029752588

الإتاحة: https://doi.org/10.23638/LMCS-13Test(1:9)2017
http://hdl.handle.net/11573/1403446Test

المؤلفون: Gutierrez, J, Harrenstein, B, Perelli, G, Wooldridge, M

مصطلحات موضوعية: phil, lang

العلاقة: https://doi.org/10.23638/LMCS-15Test(3:32)2019

الإتاحة: https://doi.org/10.23638/LMCS-15Test(3:32)2019