Jump to main content

yr 〜
yr

Search results 6

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

Proof, computation and agency : logic at the crossroads : softcover
Paper図書
edited by Johan van Benthem, Amitabha Gupta and Rohit ParikhSpringerc2011
Other Libraries in Japan
  • Author Heading...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
Paper図書
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
Other Libraries in Japan
  • Author Heading...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
Paper図書
edited by Rohit ParikhSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingParikh, 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)
Paper図書
Springer-Verlagc1985.<M15-A1875>
National Diet Library
  • Author HeadingParikh, 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.
Paper図書
edited by R. ParikhSpringer-Verlag1975
Other Libraries in Japan
  • Author HeadingBoston 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)
Paper図書
Springer-Verlag1975.<MA41-86>
National Diet LibraryOther Libraries in Japan
  • Author HeadingParikh, Rohit, 1936- Logic Colloquium (1972...

Reached to the end of result.

RSS