Filter
Søkt på: Bøker av Christian Prehofer
Filter
totalt 3 treff
Solving Higher-Order Equations
e-bok,
2012,
Engelsk,
ISBN 9781461217787
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of …
Solving Higher-Order Equations
innbundet,
1997,
Engelsk,
ISBN 9780817640323
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of …
Solving Higher-Order Equations
heftet,
2012,
Engelsk,
ISBN 9781461272786
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of …