Name: herbrand sequent extraction
SKU: 3492330
Price: 1912.00 TWD
Availability: InStock
Author: bruno woltzenlogel paleo
ISBN: 9783836461528

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

vdm verlag dr. mueller e.k.

Author

bruno woltzenlogel paleo

Pages

ISBN

3836461528

ISBN13

9783836461528

Synopsis "herbrand sequent extraction"

formal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand and analyze. techniques to extract specific essential information from these proofs are needed. this book ...