Moshe Y. Vardi · 5 obras en el catálogoObrasLogic for programming artificial intelligence and reasoningFinite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)Finite Model Theory and Its ApplicationsFFormal Techniques for Networked and Distributed Systems - FOFormal Techniques for Networked and Distributed Systems - FORTE 2002TARK Proceedings 1988
FFormal Techniques for Networked and Distributed Systems - FOFormal Techniques for Networked and Distributed Systems - FORTE 2002