Logic-Based Program Synthesis and Transformation: 34th International Symposium, Lopstr 2024, Milan,

book

発売日

: 2024年

著者／編集

: Juliana Bowles/Harald Sndergaard

出版社

: SPRINGER NATURE

価格

: 17,723

ISBN

: 9783031712937