Filter
Sökt på: Sökresultat
Filter
1 träff
Theorem Proving in Higher Order Logics
E-bok,
2009,
Engelska,
ISBN 9783642033599
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. …