Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Theorem Proving in Higher Order Logics
häftad,
1999,
Engelska,
ISBN 9783540664635
This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia …
Automated Reasoning
häftad,
2008,
Engelska,
ISBN 9783540710691
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 …
Higher-Order Algebra, Logic, and Term Rewriting
häftad,
1996,
Engelska,
ISBN 9783540612544
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term …