Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan
Yazar
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
Arama Sonuçlarını Sınırlandır
Daraltılmış: