Parikh, Rohit   (1936-)

この人物の情報

人物別名 Rohit Parikh

Parikh, R. (Rohit)
生年 1936年
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Proof, computation and agency : logic at the crossroads edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh Springer
c2011
Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center and supported by the American Association for Artificial Intelligence and the AirForce Office of Scientific Research Morgan Kaufmann
c1990
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings edited by Rohit Parikh Springer-Verlag
c1985
Logic Colloquium : symposium on logic held at Boston, 1972-73 edited by R. Parikh Springer-Verlag
1975
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想