年 〜
年

検索結果 6 件

Proof, computation and agency : logic at the crossroads : softcover

Proof, computation and agency : logic at the crossroads : softcover
紙図書
edited by Johan van Benthem, Amitabha Gupta and Rohit ParikhSpringerc2011
全国の図書館
  • 著者標目...upta, Amitabha Parikh, Rohit

Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California

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 ResearchMorgan Kaufmannc1990
全国の図書館
  • 著者標目...bout Knowledge Parikh, Rohit Almaden Research Center (IBM ...

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings : gw : us

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings : gw : us
紙図書
edited by Rohit ParikhSpringer-Verlagc1985
全国の図書館
  • 著者標目Parikh, Rohit

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh. (Lecture notes in computer science)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh. (Lecture notes in computer science)
紙図書
Springer-Verlagc1985.<M15-A1875>
国立国会図書館
  • 著者標目Parikh, Rohit, 1936-

Logic Colloquium : symposium on logic held at Boston, 1972-73 : Germany : U.S.

Logic Colloquium : symposium on logic held at Boston, 1972-73 : Germany : U.S.
紙図書
edited by R. ParikhSpringer-Verlag1975
全国の図書館
  • 著者標目Boston Logic Colloquium Parikh, Rohit

Logic Colloquium : symposium on logic held at Boston, 1972-73 / edited by R. Parikh. (Lecture notes in mathematics ; 453)

Logic Colloquium : symposium on logic held at Boston, 1972-73 / edited by R. Parikh. (Lecture notes in mathematics ; 453)
紙図書
Springer-Verlag1975.<MA41-86>
国立国会図書館全国の図書館
  • 著者標目Parikh, Rohit, 1936- Logic Colloquium (1972...

検索結果は以上です。