Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Theorem Proving in Higher Order Logics
nidottu,
2000,
englanti,
ISBN 9783540678632
This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each …