Logics of Programsde Rohit ParikhEdiciones (1)Logics of Programs (1985)Springer · inglés · ISBN 9783540156482Más obras de Rohit ParikhLogics of programsLogic ColloquiumTTARK Proceedings 1990 (Morgan-Kaufmann Series in RepresentatTARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)Ver todas las obras de Rohit Parikh →
TTARK Proceedings 1990 (Morgan-Kaufmann Series in RepresentatTARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)