Languages
Desharnais, Jules.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.