1
by Reynolds, Matthew P.
Published 2022
Format:
Table of Contents: ... in a Changing Climate' -- 1.10 Key Concepts -- 1.11 Conclusions -- References -- Chapter 2: History...
Click to View
2
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
3
by Jonoska, Natasa.
Published 2023
Format:
Table of Contents: ....1 Logic Programming Framework -- 2.2 Related Work -- 3 Future -- 3.1 Computational Tool Integration -- 3...
Click to View
4
by Biele, Cezary.
Published 2023
Format:
Table of Contents: ... Camera -- 1 Introduction -- 1.1 Use Case -- 1.2 Programming Light Show -- 1.3 Light Network Control -- 2...
Click to View
5
by Fleischmann, Albert.
Published 2015
Format:
Table of Contents: ... Program Changes -- 7.5 Conclusions -- 7.6 Implications -- Acknowledgments -- References -- 8 A Tangible...
Click to View