語系
Ayala-Rincon, Mauricio.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Interactive theorem proving8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(1998 :); Ayala-Rincon, Mauricio.; Munoz, Cesar A.; SpringerLink (Online service)
(書目-電子資源)
Applied logic for computer scientistscomputational deduction and formal proofs /
by:
Ayala-Rincon, Mauricio.; SpringerLink (Online service); de Moura, Flavio L.C.
(書目-電子資源)
主題
Computer logic.
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Math Applications in Computer Science.
System Performance and Evaluation.