Search alternatives:
optimization theorem » optimization theory, optimization through, optimization problem
development computer » development chapter, development committee, development companies
theorem development » theory development, term development, team development
computer program » computer programs
optimization theorem » optimization theory, optimization through, optimization problem
development computer » development chapter, development committee, development companies
theorem development » theory development, term development, team development
computer program » computer programs
1
by Pientka, Brigitte.
Published 2023
Format:
Published 2023
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:
Published 2022
Table of Contents: “... Program Chairs -- Industrial Program Chairs -- Communication and Media Chairs -- Conference Managers...”
Click to View