Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book) (Record no. 173345)

MARC details
000 -LEADER
fixed length control field 01037 a2200277 4500
001 - CONTROL NUMBER
control field 329592
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240624163422.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220610b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-3-642-13824-9
040 ## - CATALOGING SOURCE
Transcribing agency IITB
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
245 ## - TITLE STATEMENT
Title Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book)
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin
Date of publication, distribution, etc. 2010
Name of publisher, distributor, etc. Springer
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title lncs
Volume/sequential designation v.6188
9 (RLIN) 51995
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
9 (RLIN) 45001
Title LNCS Sublibrary : SL 7 – Artificial Intelligence
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Science and Engineering
9 (RLIN) 7673
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
Form subdivision Congresses
9 (RLIN) 6433
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal methods (Computer science)
Form subdivision Congresses
9 (RLIN) 6794
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algebra-Data processing
Form subdivision Congresses
9 (RLIN) 52084
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computational complexity
Form subdivision Congresses
9 (RLIN) 6674
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Dawar, Anuj
Relator term Editor
9 (RLIN) 52085
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Queiroz, Ruy de
Relator term Editor
9 (RLIN) 52086
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier https://doi.org/10.1007/978-3-642-13824-9
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books
Source of classification or shelving scheme
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Cost, normal purchase price Barcode Date last seen Uniform Resource Identifier Cost, replacement price Price effective from Koha item type
        Online Central Library, IITB Central Library, IITB Online 01/02/2018 0.00 EBK272 01/02/2018 https://doi.org/10.1007/978-3-642-13824-9 0.00 01/02/2018 E-Books

Powered by Koha