Gospel of Mark as Midrash on Earlier Jewish and New Testament Literature Miller Dale Innbundet / 1990 / Engelsk
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings Gibbons Jeremy Heftet / 2024 / Engelsk
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings Hawblitzel Chris Heftet / 2012 / Engelsk
Cultural Divides Understanding and Overcoming Group Conflict Prentice Deborah A. Heftet / 2001 / Engelsk
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings Gramlich Bernhard Heftet / 2012 / Engelsk
