机读格式显示(MARC)

• 000 00921pam a2200277 a 4500

• 001 0000845453

• 003 CAL

• 005 20251108151400.0

• 008 981104s1997 nyu b 001 0 eng d

• 010 __ |a 96043297

• 020 __ |a 0387948937 (hc alk. paper)

• 040 __ |a DLC |c DLC |d C#P

• 050 00 |a QA76.9.M35 |b N47 1997

• 082 00 |a 005.1/01/5113 |2 20

• 090 __ |a O414/X2=2

• 093 __ |a O414 |2 3

• 100 1_ |a Nerode, Anil, |d 1932- |0 CAL n2005178773# |7 ba0yba0y

• 245 10 |a Logic for applications / |c Anil Nerode, Richard A. Shore.

• 250 __ |a 2nd ed.

• 260 __ |a New York : |b Springer, |c 1997.

• 300 __ |a xiii, 456 p. : |b ill. ; |c 25 cm.

• 490 1_ |a Graduate texts in computer science.

• 504 __ |a Includes bibliographical references (p. [409]-438) and indexes.

• 650 _0 |a Computer science |x Mathematics.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Shore, Richard A., |d 1946- |0 CAL n2005224772# |7 ba0yba0y