Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Type: Physical Book
Language: English
Pages: 527
Release Date: 2009-08-04
ISBN 10: 364203358X
ISBN 13: 9783642033582
Country: United States of America
Theorem Proving in Higher Order Logics
Type: Physical Book
Language: English
Pages: 527
Release Date: 2009-08-04
ISBN 10: 364203358X
ISBN 13: 9783642033582
Country: United States of America