語系
Jouannaud, Jean-Pierre.
概要
| 作品: | 5 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(1998 :); Jouannaud, Jean-Pierre.; Shao, Zhong.; SpringerLink (Online service)
(書目-電子資源)
Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
by:
Futatsugi, Kokichi.; Jouannaud, Jean-Pierre.; Meseguer, Jose.; SpringerLink (Online service)
(書目-電子資源)
主題
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Software Engineering.
Logics and Meanings of Programs.
Mathematics of Computing.
Algebra
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Symbolic and Algebraic Manipulation.