Yazar
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Klein, Gerwin. editor.
Format:
Electronic Resources
Alıntı:
Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Klein, Gerwin. editor.
View Other Search Results
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and
Yazar
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
Yazar
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Cuppens-Boulahia, Nora. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Bondavalli, Andrea. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Bodden, Eric. editor.
Format:
Electronic Resources
Alıntı:
Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050
Yazar
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Arama Sonuçlarını Sınırlandır
Daraltılmış: