1
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- References -- Program Synthesis in Saturation -- 1 Introduction -- 2 Preliminaries -- 2.1 Computable Symbols...
Click to View
2
by Kim, Kyoung-Yun.
Published 2022
Format:
Table of Contents: ... Program Chairs -- Industrial Program Chairs -- Communication and Media Chairs -- Conference Managers...
Click to View