Yazar
Lambrix, Patrick. editor.
Format:
Electronic Resources
Alıntı:
-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / Lambrix, Patrick. editor.
Yazar
Miksch, Silvia. editor.
Format:
Electronic Resources
Alıntı:
the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers / Miksch
View Other Search Results
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Gibson-Robinson, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Bogomolov, Sergiy. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Yazar
Enea, Constantin. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
Yazar
Klasing, Ralf. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Thachuk, Chris. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: