header

Trannsfrming imperative programs to rule-based programs / (Record no. 42316)

MARC details
000 -LEADER
fixed length control field 01251cam a2200265 a 4500
003 - CONTROL NUMBER IDENTIFIER
control field EG-GiCUC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250223030814.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130330s2009 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 Gift
097 ## - Thesis Degree
Thesis Level M.Sc
099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC)
Classification number Cai01.34.M.Sc.2009.Fr.T
100 0# - MAIN ENTRY--PERSONAL NAME
Personal name Frederick Khoury
245 10 - TITLE STATEMENT
Title Trannsfrming imperative programs to rule-based programs /
Statement of responsibility, etc. Frėdėrick Khoury ; Supervised Slim Abdelnnadher
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cairo :
Name of publisher, distributor, etc. Frederick Khoury ,
Date of publication, distribution, etc. 2009
300 ## - PHYSICAL DESCRIPTION
Extent 63Leaves ;
Dimensions 30cm
502 ## - DISSERTATION NOTE
Dissertation note Thesis (M.Sc.) - German University - Faculty of Postgraduate studies and scientific research - Department of Computer Science and Engineering
520 ## - SUMMARY, ETC.
Summary, etc. Constraint Handling Rules (CHR) is a declarative high- level rule - based programming language . CHR which is turing complete is utilized in the development of constraint solvers . Programs developed using CHR consist of multi-headed guarded rules containing conjunctions of constraints . Programs have properties that characterize their operation
700 0# - ADDED ENTRY--PERSONAL NAME
Personal name Slim Abdelnnadher ,
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 Soheir
Reviser Cataloger
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Thesis
Holdings
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
Dewey Decimal Classification   المكتبة المركزبة الجديدة - جامعة القاهرة قاعة الثقاقات الاجنبية - الدور الثالث 11.02.2024 Cai01.34.M.Sc.2009.Fr.T 01010110060238000 05.07.2024 Thesis