Skip to main content

Author picture

Michael Fisher (6) (1962–)

Author of Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

For other authors named Michael Fisher, see the disambiguation page.

4 Works 24 Members

Works by Michael Fisher

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers (2009) 16 copies

An introduction to practical formal methods using temporal logic (2011) 5 copies

Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings (2012) 2 copies

Ninth International Symposium on Temporal Representation and Reasoning : proceedings : [TIME-02] : Manchester, UK, July 7-9, 2002 (2002) 1 copy

Tagged

la_1 (1) li_3 (2) QA 267.5 .T45 F57 2011 (Level 5) FKJM (1)

Common Knowledge

Birthdate: 1962
Gender: male

Members

Reviews

No reviews found.

Statistics

Works: 4
Members: 24
Popularity: #522,741

ISBNs: 55
Languages: 2

Pictures

Links

No links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

bw42 (17)

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson