Introduction to Computational Logic: Resources

Saarland University Computer Science

Lecture Notes

Coq

Literature



Last Change: Fri Oct 19 17:18:56 2018