語系
De Angelis, Emanuele.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Logic-based program synthesis and transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings /
by:
LOPSTR (Symposium) (2021 :); De Angelis, Emanuele.; Vanhoof, Wim.; SpringerLink (Online service)
(書目-電子資源)