語系
Vidal, German.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
by:
Blume, Matthias.; Kobayashi, Naoki.; SpringerLink (Online service); Vidal, German.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
SpringerLink (Online service); Vidal, German.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Logic programming
Program transformation (Computer programming)
Discrete Mathematics in Computer Science.
Computational complexity
Computer Science.
Programming Techniques.