Вы здесь

Fisher M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Organising Computation through Dynamic Grouping 2004 Fisher M., Ghidini Ch., Hirsch B. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Model Checking Multi-Agent Programs with CASP 2003 Bordini R. H., Fisher M., Pardavila C., Visser W., Wooldridge M. Lecture Notes in Computer Science 19.09.2003
СТ A Decision Procedure for a Temporal Belief Logic 1994 Wooldridge M., Fisher M. Lecture Notes in Artificial Intelligence 12.08.1994
СТ A Graph-Based Approach to Resolution in Temporal Logic 1994 Dixon C., Fisher M., Barringer H. Lecture Notes in Artificial Intelligence 12.08.1994
СТ A Survey of Concurrent METATEM - The Language and Its Applications 1994 Fisher M. Lecture Notes in Artificial Intelligence 12.08.1994
СТ Concurrent metatem - A Language for Modelling Reactive Systems 1993 Fisher M. Lecture Notes in Computer Science 29.07.1993
СТ From the Past to the Future: Executing Temporal Logic Programs 1992 Fisher M., Owens R. Lecture Notes in Artificial Intelligence 11.08.1992
СТ Easy Impossibility Proofs for Distributed Consensus Problems 1990 Fisher M., Lynch N., Merritt M. Lecture Notes in Computer Science 12.02.1991