TARK Proceedings 1988de Moshe Y. VardiEdiciones (1)TARK Proceedings 1988 (1988)Morgan Kaufmann · inglés · ISBN 9780934613668Más obras de Moshe Y. VardiLogic for programming artificial intelligence and reasoningFinite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)Finite Model Theory and Its Applications