Filter
Sökt på: Sökresultat
Filter
1 träff
Higher Order Logic Theorem Proving and Its Applications
häftad,
1995,
Engelska,
ISBN 9783540602750
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September …