Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Ayala-Rincón
Yazar
Potapov, Igor. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
View Other Search Results
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes
Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I
Arama Sonuçlarını Sınırlandır
Daraltılmış: