語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
語系
英文
(1)
跳至 :
概要
|
書目資訊
|
主題
De Angelis, Emanuele.
概要
作品:
1 作品在 1 項出版品 1 種語言
書目資訊
Logic-based program synthesis and transformation31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings /
by: (1998 :); De Angelis, Emanuele.; SpringerLink (Online service); Vanhoof, Wim.
(書目-電子資源)
主題
Software Engineering.
Logic programming
Computer software
Computer logic
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Communication Networks.
處理中
...
變更密碼
登入
