Reihe Progress in Theoretical Computer ScienceChristian Prehofer × Solving Higher-Order EquationsFrom Logic to ProgrammingChristian PrehoferBirkhäuser BostoneBook201296,29 € Solving Higher-Order EquationsFrom Logic to ProgrammingChristian PrehoferBirkhäuser BostonSoftcover2012106,99 € Solving Higher-Order EquationsFrom Logic to ProgrammingChristian PrehoferBirkhäuser BostonHardcover1997106,99 €
