Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)

von Christian Prehofer

Gebunden

ISBN-13: 978-3-7643-4032-2

ISBN-10: 3-7643-4032-0

Birkhauser Verlag AG · 1997

Siehe auch:
1997HardcoverSolving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)