Jump to main content

yr 〜
yr

Search results 4

Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey : [pbk.]

Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey : [pbk.]
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT&T Research, Bell Laboratories--Lucent Technologies DIMACS, IBM Almaden Research CenterIEEE Computer Society Pressc1996
Other Libraries in Japan
  • Author Heading...ologies DIMACS Almaden Research Center (IBM Research)

Opportunities and constraints of parallel computing : us : gw

Opportunities and constraints of parallel computing : us : gw
Paper図書
Jorge L.C. Sanz, editorSpringer-Verlagc1989
Other Libraries in Japan
  • Author HeadingSanz, J. L. C. (Jorge L. C.) Almaden Research Center (IBM Research) National Science Foundation (...

Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California : pbk

Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California : pbk
Paper図書
edited by Moshe Y. VardiMorgan Kaufmann Publishersc1988
Other Libraries in Japan
  • Author Heading...e Vardi, Moshe Almaden Research Center (IBM Research)

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... Parikh, Rohit Almaden Research Center (IBM Research)

Reached to the end of result.

RSS