Parikh, Rohit, 1936-....
Parikh, Rohit
Rohit Jivanlal Parikh filósofo merikano
VIAF ID: 45731689 ( Personal )
Permalink: http://viaf.org/viaf/45731689
Preferred Forms
- 100 1 _ ‡a Parikh, Rohit
-
-
- 100 1 _ ‡a Parikh, Rohit
-
- 100 1 _ ‡a Parikh, Rohit ‡d 1936-
-
- 100 1 0 ‡a Parikh, Rohit, ‡d 1936-
-
-
- 100 1 _ ‡a Parikh, Rohit, ‡d 1936-....
- 100 0 _ ‡a Rohit Jivanlal Parikh ‡c filósofo merikano
4xx's: Alternate Name Forms (9)
5xx's: Related Names (9)
- 510 2 _ ‡a Almaden Research Center (IBM Research)
- 510 2 _ ‡a Brooklyn College ‡b Department of Computer and Information Science
- 510 2 _ ‡a Brooklyn College ‡b Department of Computer and Information Science ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Conference on the Logics of Programs (17-06-1985 - 19-06-1985 : Brooklyn, NY, USA)
- 510 2 _ ‡a Conference on the logics of programs - Brooklyn (17-19 June 1985)
- 510 2 _ ‡a Logic Colloquium
- 510 2 _ ‡a Logic Colloquium '72/'73 (1972-1973 ; Boston)
- 510 2 _ ‡a Logic colloquium (1972-73 ; Boston, Mass.)
- 510 2 _ ‡a TARK 1990
Works
Title | Sources |
---|---|
Logic at the crossroads : an interdisciplinary view | |
Logic Colloquium : symposium on logic held at Boston, 1972-73 | |
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings | |
Proof, computation and agency : logic at the crossroads | |
TARK 1990 | |
Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California |