Welcome to Central Library, SUST

Logic, language, information, and computation : (Record no. 60610)

MARC details
000 -LEADER
fixed length control field 01842nam a22004337a 4500
001 - CONTROL NUMBER
control field sulbI000712
003 - CONTROL NUMBER IDENTIFIER
control field BD-SySUS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160522151846.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160522s2011 gw a b 101 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 978642209192
040 ## - CATALOGING SOURCE
Original cataloging agency HUA
Language of cataloging eng
Transcribing agency HUA
Description conventions rda
Modifying agency BD-SySUS
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1015113
Edition number 23
Item number LOG
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Workshop on Logic, Language, Information and Computation
Number of part/section/meeting (20th :
Date of meeting 2013 :
Location of meeting Darmstadt, Germany)
9 (RLIN) 24539
245 10 - TITLE STATEMENT
Title Logic, language, information, and computation :
Remainder of title 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings /
Statement of responsibility, etc. Lev D. Beklemishev, Ruy de queiroz(eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin. :
Name of publisher, distributor, etc. Springer.
Date of publication, distribution, etc. 2011.
300 ## - PHYSICAL DESCRIPTION
Extent x, 309 pages :
Other physical details illustrations ;
Dimensions 22 cm.
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 8071
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic
Form subdivision Congresses.
9 (RLIN) 24540
Topical term or geographic name as entry element Logic, Symbolic and mathematical
Form subdivision Congresses.
9 (RLIN) 24412
Topical term or geographic name as entry element Computer logic.
Source of heading or term fast
9 (RLIN) 24541
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
Source of heading or term fast
9 (RLIN) 12531
Topical term or geographic name as entry element Berechnungstheorie.
Source of heading or term gnd
9 (RLIN) 24542
Topical term or geographic name as entry element Formale Grammatik.
Source of heading or term gnd
9 (RLIN) 24543
Topical term or geographic name as entry element Formale Methode.
Source of heading or term gnd
9 (RLIN) 24544
Topical term or geographic name as entry element Formale Syntax.
Source of heading or term gnd
9 (RLIN) 24545
Topical term or geographic name as entry element K�unstliche Intelligenz.
Source of heading or term gnd
9 (RLIN) 24546
Topical term or geographic name as entry element Logik.
Source of heading or term gnd
9 (RLIN) 24547
Topical term or geographic name as entry element Nat�urliche Sprache.
Source of heading or term gnd
9 (RLIN) 24548
Topical term or geographic name as entry element Programmierlogik.
Source of heading or term gnd
9 (RLIN) 24549
Topical term or geographic name as entry element Programmiersprache.
Source of heading or term gnd
9 (RLIN) 24550
Topical term or geographic name as entry element Theoretische Informatik.
Source of heading or term gnd
9 (RLIN) 24551
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Kongress
Geographic subdivision Darmstadt
Chronological subdivision 2013.
9 (RLIN) 24552
Genre/form data or focus term Conference proceedings.
Source of term fast
9 (RLIN) 24553
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Beklemishev, Lev D.
9 (RLIN) 24554
Relator code Queiroz, Ruy de queiroz
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 Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.1015113 LOG I000712 22/05/2016 1 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.1015113 LOG I000714 22/05/2016 2 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.1015113 LOG I000713 22/05/2016 3 22/05/2016