語系
LOPSTR (Symposium) (2024 :)
概要
| 作品: | 5 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic-based program synthesis and transformation = 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
LOPSTR (Symposium) (2024 :); Bowles, Juliana.; Søndergaard, Harald.; SpringerLink (Online service)
(書目-電子資源)