Saarland University Computer Science


Introduction to Computational Logic Gert Smolka