【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Almaden Research Center (IBM Research)

ID:DA03079095

Alias Name: IBM Research. Almaden Research Center

Related Author Name: IBM San Jose Research Laboratory

Search authors sharing the same name

Search Results1-4 of 4

1

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

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 Center

IEEE Computer Society Press c1996

: [pbk.]

Available at 1 libraries
2

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 The Morgan Kaufmann series in representation and reasoning

Available at 26 libraries
3

Opportunities and constraints of parallel computing

Jorge L.C. Sanz, editor

Springer-Verlag c1989

: us , : gw

Available at 15 libraries
4

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

edited by Moshe Y. Vardi

Morgan Kaufmann Publishers c1988

: pbk

Available at 25 libraries