WorldCat Identities

Fisher, Michael D.

Overview
Works: 9 works in 12 publications in 1 language and 15 library holdings
Genres: Criticism, interpretation, etc  Conference papers and proceedings 
Roles: Author, Editor
Classifications: QA76.76.D47, 005.133
Publication Timeline
.
Most widely held works by Michael D Fisher
Direct reimbursement : dollar-based dental benefits that work for employers, employees, and dentists by Michael D Fisher( Book )

1 edition published in 2003 in English and held by 5 WorldCat member libraries worldwide

Program logics : a short survey by Michael D Fisher( Book )

2 editions published between 1986 and 1987 in English and held by 3 WorldCat member libraries worldwide

Preaching from the book of Revelation in an urban context by Michael D Fisher( Book )

2 editions published between 1996 and 1997 in English and held by 2 WorldCat member libraries worldwide

An investigation into the use of Edinburgh LCF in VDM data type refinement by Michael D Fisher( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

Transformation and synthesis in METATEM by Michael Fisher( Book )

1 edition published in 1992 in English and held by 1 WorldCat member library worldwide

IJCAI-95 workshop program : working notes ; executable temporal logics ; Sunday, August 20, 1995, Montréal, Québec by International Joint Conference on Artificial Intelligence( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

The Imperative future : principles of executable temporal logic by Howard Barringer( Book )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

CHOSEN BY THE SPIRIT OF ADOPTION : re-covering the fatherless by Michael D Fisher( Book )

1 edition published in 2016 in English and held by 1 WorldCat member library worldwide

Temporal logics for abstract semantics by Michael Fisher( Book )

2 editions published in 1987 in English and held by 0 WorldCat member libraries worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.45 for Preaching ... to 0.80 for Transforma ...)

The Imperative future : principles of executable temporal logic
Languages
English (12)

Covers