Search alternatives:
developments computer » development computer, developments chapter, developments complexes
macro developments » major developments, market developments, sector developments
computer program » computer programs
notation macro » notation part
developments computer » development computer, developments chapter, developments complexes
macro developments » major developments, market developments, sector developments
computer program » computer programs
notation macro » notation part
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
