Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Dhaenens, Clarisse. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
View Other Search Results
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia
Yazar
Beklemishev, Lev D. editor.
Format:
Electronic Resources
Alıntı:
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia
Yazar
Diaz, Josep. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Hirsch, Edward A. editor.
Format:
Electronic Resources
Alıntı:
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia
Yazar
Blesa, Maria J. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Baetens, Jan M. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Arama Sonuçlarını Sınırlandır
Daraltılmış: