opac-header

Logic programming and automated reasoning (Record no. 22929)

MARC details
000 -LEADER
fixed length control field 00590nam a22001577a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230425b |||||||| |||| 00| 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency National Science Library
Transcribing agency National Science Library
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 519.852(082.2)
Item number N3
245 ## - TITLE STATEMENT
Title Logic programming and automated reasoning
Statement of responsibility, etc. /Springer-Verlag, 4th international conference, LPAR '93 St. Petesburg, Russia, July 13-20, 1993 proceedings
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin:
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1993
300 ## - PHYSICAL DESCRIPTION
Extent 386p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic programming
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Automated reasoning
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Voronkov, Andrei (Ed.)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Universal Decimal Classification
Koha item type Proceedings
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Universal Decimal Classification     National Science Library National Science Library GF/Rk-5/C-24/R-4 04/04/1994   519.852(082.2) N3 174700 25/04/2023 04/04/1994 Proceedings