| 000 | 01650camuuu200277 a 4500 | |
| 001 | 000000447400 | |
| 003 | OCoLC | |
| 005 | 19961104161222.0 | |
| 008 | 911107s1992 maua b 000 0 eng | |
| 010 | ▼a 91058714 | |
| 015 | ▼a GB93-6890 | |
| 019 | ▼a 27428670 | |
| 020 | ▼a 0127082409 | |
| 040 | ▼a DLC ▼c DLC ▼d CCH ▼d UKM | |
| 049 | ▼a ACSL ▼l 121021199 | |
| 050 | 0 0 | ▼a QA76 ▼b .U35 1991 |
| 082 | 0 0 | ▼a 005.13/1 ▼2 20 |
| 090 | ▼a 005.131 ▼b T396 | |
| 245 | 0 0 | ▼a Theoretical studies in computer science / ▼c edited by Jeffrey D. Ullman. |
| 260 | ▼a Boston : ▼b Academic Press , ▼c c1992. | |
| 300 | ▼a x, 339 p. : ▼b ill. ; ▼c 24 cm. | |
| 504 | ▼a Includes bibliographical references. | |
| 505 | 0 | ▼a Context-free multilanguages / Donald E. Knuth -- Proving nonmembership in certain families of context-free languages / Michael A. Harrison -- Single tree grammars / Sheila Greibach, Weiping Shi and Shai Simonson -- The complexity of structural containment and equivalence / D.J. Rosenkrantz and H.B. Hunt III -- The interface between language theory and database theory / Jeffrey D. Ullman -- Automata theory for database theoreticians / Moshe Y. Vardi -- On datalog linearization of chain queries / Guozhu Dong -- Expressive power of query languages / Serge Abiteboul and Victor Vianu -- Object indentity and query equivalences / Richard Hull and Masatoshi Yoshikawa -- A unified approach to data and meta-data modification for data/knowledge bases / I-Min Amy Chen and Dennis McLeod -- Polygon clipping : analysis and experiences / Ellis Horowitz and Marco Papa. |
| 650 | 0 | ▼a Computer science. |
| 653 | 0 | ▼a Programming languages |
| 700 | 1 | ▼a Ullman, Jeffrey D. ▼d 1942- |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.131 T396 | 등록번호 121021199 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |