WorldCat Identities

Fisher, Michael D.

Overview
Works: 9 works in 11 publications in 1 language and 14 library holdings
Genres: Criticism, interpretation, etc  Conference papers and proceedings 
Roles: Author
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 )

1 edition published in 1987 in English and held by 2 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

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

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

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

Programs logic : a short survey by Michael D Fisher( Book )

1 edition published in 1986 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

Tenporal Logics for Abstract Semantics( 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.70 (from 0.31 for Preaching ... to 1.00 for Tenporal L ...)

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

Covers