Name: proof profiles - characteristic clause sets and proof transformations
SKU: 3492517
Price: 2327.00 TWD
Availability: InStock
Author: stefan hetzl

Select your country

Americas

Europe

Rest of the world

portada proof profiles - characteristic clause sets and proof transformations

proof profiles - characteristic clause sets and proof transformations

Type

Physical Book

Publisher

vdm verlag dr. mueller e.k.

Author

stefan hetzl

Pages

128

ISBN

3836470071

ISBN13

9783836470070

Synopsis "proof profiles - characteristic clause sets and proof transformations"

mathematics is of fundamental importance for computer science. on the other hand, there are also many applications of computer science in mathematics, be it simulations, numerical calculations or computer algebra systems. another interesting applicati ...