Logic for Programming, Artificial Intelligence, and Reasoning : (Record no. 35158)

MARC details
000 -LEADER
fixed length control field 00571nam a2200181Ia 4500
001 - CONTROL NUMBER
control field 33435
003 - CONTROL NUMBER IDENTIFIER
control field IN-NITTTR
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251114233432.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 251113s9999||||xx |||||||||||||| ||eng||
040 ## - CATALOGING SOURCE
Language of cataloging eng
040 ## - CATALOGING SOURCE
Transcribing agency IN-NITTTR
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number QA76.63 .L735 2005eb
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Voronkov, A.
245 #0 - TITLE STATEMENT
Title Logic for Programming, Artificial Intelligence, and Reasoning :
Remainder of title 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 /
Statement of responsibility, etc. Voronkov, A., Sutcliffe, Geoff.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Sutcliffe, Geoff.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     National Institute of Technical Teachers Training & Research National Institute of Technical Teachers Training & Research 11/14/2025   QA76.63 .L735 2005eb 183630 11/14/2025 11/14/2025 Books