This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
اقرأ المزيدThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد