語系
Desharnais, Jules.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relational and algebraic methods in computer science17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29 - November 1, 2018 : proceedings /
by:
(1998 :); Desharnais, Jules.; Guttmann, Walter.; Joosten, Stef.; SpringerLink (Online service)
(書目-電子資源)
Mathematics of program construction10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
by:
(1998 :); Bolduc, Claude.; Desharnais, Jules.; Ktari, BEchir.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Logics and Meanings of Programs.
Antibodies.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer programming
Programming Languages, Compilers, Interpreters.
Numeric Computing.
Computer programs
Computer science
Relation algebras
Artificial Intelligence.
Computer Science.