語系
Pavlovic, Dusko.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programs as diagrams = from categorical computability to computable categories /
by:
Pavlovic, Dusko.; SpringerLink (Online service)
(書目-電子資源)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
Johnson, Michael.; Pavlovic, Dusko.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Programming Language.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Abstract data types (Computer science)
Programming Languages, Compilers, Interpreters.
Computational Complexity.
Computer science- Mathematics.
Computer Science.
Computability and Recursion Theory.
Categories (Mathematics)