Logic, Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research intere...
Corporate Author: | |
---|---|
Other Authors: | , , |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2021.
|
Edition: | 1st ed. 2021. |
Series: | Programming and Software Engineering ;
12750 |
Subjects: | |
Online Access: | https://doi.org/10.1007/978-3-030-76020-5 |