語系
Escobar, Santiago.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rewriting logic and its applications13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers /
by:
(1998 :); Escobar, Santiago.; Marti-Oliet, Narciso.; SpringerLink (Online service)
(書目-電子資源)
Functional and constraint logic programming18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers /
by:
(1998 :); Escobar, Santiago.; SpringerLink (Online service)
(書目-電子資源)
Rewriting logic and its applications10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(1998 :); Escobar, Santiago.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Maude (Computer program language)
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer logic
Models and Principles.
Computer Science.