Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday

Tipo: Libro
Editorial: SPRINGER
doi: 10.1007/978-3-030-76020-5
ISBN: 978-3-030-76020-5 ; 978-3-030-76019-9
Total de publicaciones: 1