机读格式显示(MARC)

• 000 00887cam 2200289 45

• 001 0000337231

• 003 CAL

• 005 20021115154500.0

• 008 021104s1993 nyua b 001 0 eng

• 010 __ |a 93027846

• 020 __ |a 0387941290 : |c Y504.00

• 020 __ |a 3540941290

• 040 __ |a DLC |c DLC |d DLC

• 050 00 |a QA76.63 |b .N45 1993

• 082 00 |a 005.1 |2 20

• 090 __ |a TP311/N451

• 093 __ |a TP311 |2 4

• 100 1_ |a Nerode, Anil, |d 1932-

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

• 260 __ |a New York : |b Springer-Verlag, |c c1993.

• 300 __ |a xvii, 365 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Texts and monographs in computer science

• 504 __ |a Includes bibliographical references (p. 329-354) and indexes.

• 650 _0 |a Logic programming.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 10 |a Shore, Richard A., |d 1946-

• 950 __ |a JHUL |b TP311 |c N451