Items where Author is "Schreiner, Wolfgang"
![[up]](/style/images/multi_up.png)
| [pin missing: url] | [pin missing: url] |
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 1.
Book
Schreiner, Wolfgang (2021) Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions. Texts & Monographs in Symbolic Computation . Springer International Publishing, Cham. ISBN 978-3-030-80506-7 978-3-030-80507-4