Yazar
Silva, Alexandra. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
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
View Other Search Results
Yazar
McIver, Annabelle. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Potapov, Igor. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Bertrand, Nathalie. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Ben Amor, Nahla. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
Yazar
Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Draheim, Dirk. author.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Wu, Guorong. editor.
Format:
Electronic Resources
Alıntı:
Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Arama Sonuçlarını Sınırlandır
Daraltılmış: