Finite model theory [کتاب لاتین]
/ Erich Grodel ... [et al.]
| Record Identifier: | 43108 |
| Added Entry: | Grodel, Erich,1958- |
| Old Record Identifier: | 164764 |
| Document Number: | 17776 |
| Title and statement of responsibility: | Finite model theory// Erich Grodel ... [et al.] |
| Place of Publication: | Berlin ; New York |
| Name of Publisher: | Springer, |
| Date of Publication: | c2007. |
| Physical Description: | xi, 437 p . ill. 24 cm. |
| Series Title: | (Texts in theoretical computer science,1862-4499) |
| subject: | Finite model theory |
| subject: | Computational complexity |
| subject: | Constraint databases |
| Other Physical Details: | . |
| Dimensions: | ill. 24 cm. |
| General Notes: | Language: انگلیسی |
| Notes Pertaining to Publication, Distribution, Etc: | |
| Internal Bibliographies/Indexes Note: | Includes bibliographical references and index. |
| Library of Congress Classification: | QA .F56 9.7 2007 |
| شماره ثبت | جزء | نسخه | جلد | بخش | قسمت | مرجع | شماره بازیابی | در دست امانت | تاریخ بازگشت | ملاحظات | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 78347 | 1 | QA9.7 .F56 2007 | 404714 |
جهت ثبت نظر با حساب کاربری تان وارد شوید