Fisher, Michael, (1962-)

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Handbook of temporal reasoning in artificial intelligence by: Vila, L.; Fisher, Michael, (1962-); Gabbay, Dov M., (1945-) (Language materials, printed)

An introduction to practical formal methods using temporal logic by: Fisher, Michael, (1962-) (Language materials, printed)

Subjects