Rohit Parikh · 4 obras en el catálogoObrasLogics of programsLogic ColloquiumLogics of ProgramsTTARK Proceedings 1990 (Morgan-Kaufmann Series in RepresentatTARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)
TTARK Proceedings 1990 (Morgan-Kaufmann Series in RepresentatTARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)