Reasoning about Requirements at Run-time Using AI Planning Techniques / (Record no. 528198)

000 -LEADER
fixed length control field 00566nam a22001697a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Qualifying information Hard Cover.
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Hassan, Zara
245 ## - TITLE STATEMENT
Title Reasoning about Requirements at Run-time Using AI Planning Techniques /
Statement of responsibility, etc. Zara Hassan.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Islamabad:
Name of publisher, distributor, etc. SEECS - NUST.
Date of publication, distribution, etc. 2014.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 45 p. : ill. ;
Dimensions 30cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Ms Thesis.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Dr. Nauman Ahmed Qureshi.
856 ## - Uniform Resource Identifier
Uniform Resource Identifier <a href="http://10.250.8.41:8080/xmlui/handle/123456789/10119">http://10.250.8.41:8080/xmlui/handle/123456789/10119</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Thesis
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
-- 18721
700 ## - ADDED ENTRY--PERSONAL NAME
-- 19810
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Full call number Barcode Date last seen Price effective from Non-public note Koha item type Total Checkouts
          Central Library (CL) Central Library (CL) Thesis 09/01/2019 005 CL-T-3262 09/01/2019 09/01/2019 Minute Sheet No. 0929/02/CL/Survey/5 dated 23rd April 2024 E-MIN ID 114741 Thesis  
          Central Library (CL) Central Library (CL) Thesis 12/17/2019 005 CL-T-2515 12/17/2019 12/17/2019   Thesis  
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.