Yazar
Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Grünbacher, Paul. 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
Carayol, Arnaud. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Hameurlain, Abdelkader. editor.
Format:
Electronic Resources
Alıntı:
Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050
Yazar
Carmona, Josep. editor. (orcid)0000-0001-9656-254X
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market
Yazar
Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Arp, Robert, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7275982
Format:
Electronic Resources
Alıntı:
information in computer-tractable form, drawing on concepts not only from computer and information science but
Yazar
Wu, Yunfang. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Różewski, Przemysław. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Garoufallou, Emmanouel. editor.
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product
Yazar
Huang, Zi. editor.
Format:
Electronic Resources
Alıntı:
Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Ichise, Ryutaro. editor.
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product