ID:DA03079095
IBM Research. Almaden Research Center
IBM San Jose Research Laboratory
同姓同名の著者を検索
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.]
所蔵館1館
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
所蔵館26館
Jorge L.C. Sanz, editor
Springer-Verlag c1989
: us , : gw
所蔵館16館
edited by Moshe Y. Vardi
Morgan Kaufmann Publishers c1988
: pbk
所蔵館25館