نتایج جستجو
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990
Robert A. Kowalski (auth.), 1990
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989
Howard Barringer, 1992
