A Level Advancing Biology for OCR Year 1 and AS Student Book (OCR B) Fisher, Michael Digital bok / 2021 / Engelsk
An Introduction to Practical Formal Methods Using Temporal Logic Fisher, Michael Digital bok / 2018 / Engelsk
Three Pronunciations of Latin: The Claims of Each Presented, and Special Reasons Given for the Use of the English Mode (Classic Reprint) Fisher, Michael Montgomery Innbundet / 2018 / Engelsk
Three Pronunciations of Latin: The Claims of Each Presented, and Special Reasons Given for the Use of the English Mode (Classic Reprint) Fisher, Michael Montgomery Heftet / 2018 / Engelsk
Chosen by the Spirit of Adoption: Re-Covering the Fatherless Fisher, Michael D. Heftet / 2016 / Engelsk
Verifiable Autonomous Systems Using Rational Agents to Provide Assurance about Decisions Made by Machines Dennis, Louise A. Innbundet / 2023 / Engelsk
Executable Modal and Temporal Logics IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings Fisher, Michael Heftet / 1995 / Engelsk
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Fisher, Michael Heftet / 2009 / Engelsk
Foundations and Applications of Multi-Agent Systems UKMAS Workshop 1996-2000, Selected Papers d'Inverno Mark Heftet / 2002 / Engelsk
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers Dix, Jürgen Heftet / 2010 / Engelsk