A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction,...

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software,...

"Types in Logic Programming" von Frank Pfenning ist ein Fachbuch, das sich mit der Integration von Typensystemen in die Logikprogrammierung beschäftigt. Das Buch untersucht, wie Typen verwendet werden können, um Programme sicherer und...