Related tags: Science [+], International [+], Computer [+], with, of, fundamentals, and, White, Schaums, Prolog, Programming, Outline, On, Mathematical, Luck, Lies, Fourth, Edition, Digital, Design, Course, A
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science)