語系
Lopez-Garcia, Pedro.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
LOPSTR (Symposium) (2016 :); Hermenegildo, Manuel V.; Lopez-Garcia, Pedro.; SpringerLink (Online service)
(書目-電子資源)
Analysis, verification and transformation for declarative programming and intelligent systems = essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computer logic
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Declarative programming.
Computer software- Development
Computer Science.
Computer science.