Nonmonotonic and Inductive Logic: 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings (Lecture Notes in Computer Science 543) by Klaus P. Jantke | Menrva Books | MenrvaBooks