Rajaa
Hakutulokset: 9783540283720
Rajaa
yksi hakutulos.
Theorem Proving in Higher Order Logics
nidottu,
2005,
englanti,
ISBN 9783540283720
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held …