Yazar
Cinquemani, Eugenio. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Češka, Milan. editor. (orcid)0000-0002-0300-9727
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
View Other Search Results
Yazar
Zhang, Fa. editor.
Format:
Electronic Resources
Alıntı:
Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product