Proof and Computation
Publisher: Springer; Springer Berlin Heidelberg
Published: Dec 13, 2011
Format: paperback
Number of pages: 477
ISBN-13: 9783642793639
Notes: Source title: Proof and Computation (Nato ASI Subseries F: (139))