Isabelle/HOL

Type: Physical Book

Language: English

Pages: 226

Release Date: 2003-07-31

ISBN 10: 3540459499

ISBN 13: 9783540459491

Country: United States of America