Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings McAllester David Heftet / 2000 / Engelsk
Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings Ganzinger Harald Heftet / 1999 / Engelsk
Enemy Way Music: A Study of Social and Esthetic Values as Seen in Navaho Music (Large Text Classic Reprint) McAllester David P. Heftet / 2018 / Engelsk
Enemy Way Music: A Study of Social and Esthetic Values as Seen in Navaho Music (Classic Reprint) McAllester David P. Innbundet / 2018 / Engelsk
Enemy Way Music: A Study of Social and Esthetic Values as Seen in Navaho Music (Classic Reprint) McAllester David P. Heftet / 2018 / Engelsk
