Bu türde 2 kitap
Human reasoning and cognitive science
Keith Stenning
9th International Conference on Automated Deduction
International Conference on Automated Deduction (9th 1988 Argonne, Ill.)
