Descriptive complexitics of syntactical fragments of programming languages / (Record no. 40325)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01658cam a2200337 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GiCUC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250223030717.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121121s2012 ua f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GiCUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GiCUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | Ph.D |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.20.03.Ph.D.2012.So.D |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Soha Safwat Labib Hanna |
| 245 10 - TITLE STATEMENT | |
| Title | Descriptive complexitics of syntactical fragments of programming languages / |
| Statement of responsibility, etc. | Soha Safwat Labib Hanna ; Supervised Ibrahim Farag , Wafik Boulos Lotfallah |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | التعقيدات الوصفية للعبارات التركيبية الخاصة بلغات البرمجة |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Soha Safwat Labib Hanna , |
| Date of publication, distribution, etc. | 2012 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 91 Leaves ; |
| Dimensions | 30cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (Ph.D.) - Cairo University - Faculty of Computers and Information - Department of Computer Science |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Descriptive complexitics emerged from finite model theory and had its aims in finding logics that capture computational complexity classes. Observing that imperative programming languages can also be considered as logics (maybe with some additional control), we wxtend the scope of descriptive complexity by defining two fragments of such languages and showing that they capture the classes P and NP |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Descriptive complexitics |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming languages |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Syntactical fragments |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ibrahim Farag , |
| Relator term | |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wafik Boulos Lotfallah , |
| Relator term | |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a> |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Nazla |
| Reviser | Revisor |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Samia |
| Reviser | Cataloger |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.20.03.Ph.D.2012.So.D | 01010110058712000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.20.03.Ph.D.2012.So.D | 01020110058712000 | 22.09.2023 | CD - Rom | 58712.CD |