MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07643cam a2201213 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn341650629 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703150541.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
090522s2009 gw ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
WAU |
| -- |
EMU |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
HUA |
| -- |
BTCTA |
| -- |
OHX |
| -- |
YDXCP |
| -- |
ZCU |
| -- |
GBVCP |
| -- |
DEBBG |
| -- |
E7B |
| -- |
SNU |
| -- |
VGM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
UKMGB |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCA |
| -- |
VT2 |
| -- |
COO |
| -- |
OCLCA |
| -- |
SLY |
| -- |
OCLCO |
| -- |
IDEBK |
| -- |
NUI |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
OCLCO |
| -- |
U3W |
| -- |
AU@ |
| -- |
OCLCA |
| -- |
WYU |
| -- |
YOU |
| -- |
CANPU |
| -- |
OCLCQ |
| -- |
QE2 |
| -- |
CNTRU |
| -- |
OCLCQ |
| -- |
LUN |
| -- |
DCT |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
INT |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCA |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
992870739 |
| Source |
DE-101 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
015108370 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
310400679 |
| -- |
318788667 |
| -- |
370603989 |
| -- |
488554397 |
| -- |
502454366 |
| -- |
880307681 |
| -- |
1044619180 |
| -- |
1084848611 |
| -- |
1086897796 |
| -- |
1170284529 |
| -- |
1172747106 |
| -- |
1204015952 |
| -- |
1374610921 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642006654 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642006655 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642006647 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642006647 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9788364200663 |
| Qualifying information |
(4) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
8364200666 |
| 024 3# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
9783642006647 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-00665-4 |
| Source of number or code |
doi |
| 028 52 - PUBLISHER NUMBER |
|---|
| Publisher number |
12614431 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000045250631 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048656916 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060029580 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060388797 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DEBBG |
| System control number |
BV035433716 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
317918664 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
12904105 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13659118 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
OHX |
| System control number |
har090036262 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)341650629 |
| Canceled/invalid control number |
(OCoLC)310400679 |
| -- |
(OCoLC)318788667 |
| -- |
(OCoLC)370603989 |
| -- |
(OCoLC)488554397 |
| -- |
(OCoLC)502454366 |
| -- |
(OCoLC)880307681 |
| -- |
(OCoLC)1044619180 |
| -- |
(OCoLC)1084848611 |
| -- |
(OCoLC)1086897796 |
| -- |
(OCoLC)1170284529 |
| -- |
(OCoLC)1172747106 |
| -- |
(OCoLC)1204015952 |
| -- |
(OCoLC)1374610921 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-642-00664-7 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.L63 |
| Item number |
I58 2009 |
| 055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
|---|
| Classification number |
QA75 |
| Item number |
.L38 no.5422 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFM1 |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
17.46 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
31.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
H087-532 |
| Number source |
clc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
SS 4800 |
| Number source |
rvk |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Number source |
sdnb |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
510 |
| Number source |
sdnb |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 706f |
| Number source |
stub |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 540f |
| Number source |
stub |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Tbilisi Symposium on Logic, Language, and Computation |
| Number of part/section/meeting |
(7th : |
| Date of meeting |
2007 : |
| Location of meeting |
Tʻbilisi, Georgia) |
| 9 (RLIN) |
34844 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic, language, and computation : |
| Remainder of title |
7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers / |
| Statement of responsibility, etc. |
Peter Bosch, David Gabelaia, Jérôme Lang (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
Heidelberg : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2009. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in artificial intelligence, subseries of Lecture notes in computer science ; |
| Volume/sequential designation |
5422 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007. The 22 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: conceptual modeling of spatial relations, pragmatics and game theory, atypical valency phenomena, lexical typology, formal semantics and experimental evidence, exceptional quantifier scope, Georgian focussing particles, polarity and pragmatics, dynamics of belief, learning theory, inquisitive semantics, modal logic, coalgebras, computational linguistics of Georgian, type-logical grammar and cross-serial dependencies, non-monotonic logic, Japanese quantifiers, intuitionistic logic, semantics of negated nominals, word sense disambiguation, semantics of question-embedding predicates, and reciprocals and computational complexity. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
A Computational Grammar for Georgian -- The Structure of Rigid Frames of Depth 3 Only -- Three Kinds of Event Nominal Negation in Russian -- A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs -- even in Horn Space -- On -c and?i Particles in Georgian -- Dealing with Polysemy in Russian National Corpus: The Case of Adjectives -- Inquisitive Semantics: Two Possibilities for Disjunction -- Implicatures of Irrelevant Answers and the Principle of Optimal Completion -- Conceptualization of Pain: A Database for Lexical Typology -- Expressing Belief Flow in Assertion Networks -- The Computational Complexity of Quantified Reciprocals -- Quantifiers in Japanese -- Exceptional Scope as Discourse Reference to Quantificational Dependencies -- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach -- Identification through Inductive Verification -- Enlarging the Diversity of Valency Instantiation Patterns and Its Implications -- The Modal Formula (Is Not First-Order Definable -- Semantic Characterizations of German Question-Embedding Predicates -- Processing Definite Determiners: Formal Semantics Meets Experimental Results -- Terminal Sequence Induction via Games -- Dutch Grammar and Processing: A Case Study in TLG. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer logic |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15040 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| General subdivision |
Semantics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14958 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
26959 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Langages de programmation |
| General subdivision |
Sémantique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14959 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| General subdivision |
Semantics. |
| Source of heading or term |
cct |
| 9 (RLIN) |
14960 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer logic. |
| Source of heading or term |
cct |
| 9 (RLIN) |
6177 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer logic |
| Source of heading or term |
fast |
| 9 (RLIN) |
6177 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| General subdivision |
Semantics |
| Source of heading or term |
fast |
| 9 (RLIN) |
14960 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Berechnungstheorie |
| Source of heading or term |
gnd |
| 9 (RLIN) |
3692 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formale Grammatik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
14901 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formale Methode |
| Source of heading or term |
gnd |
| 9 (RLIN) |
18841 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formale Syntax |
| Source of heading or term |
gnd |
| 9 (RLIN) |
34845 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
20555 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Natürliche Sprache |
| Source of heading or term |
gnd |
| 9 (RLIN) |
26423 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmierlogik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
26960 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Kongress. |
| Source of term |
swd |
| 9 (RLIN) |
2843 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Tiflis (2007) |
| Source of term |
swd |
| 9 (RLIN) |
34846 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bosch, Peter, |
| Dates associated with a name |
1949 August 25- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjFbXvRrVJddDvKhGPGtmm |
| 9 (RLIN) |
34847 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gabelaia, David. |
| 9 (RLIN) |
34848 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Lang, Jérôme. |
| 9 (RLIN) |
29407 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642006647 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
5422. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence. |
| 9 (RLIN) |
14916 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-00665-4">https://link.springer.com/10.1007/978-3-642-00665-4</a> |
| 938 ## - |
|---|
| -- |
Baker and Taylor |
| -- |
BTCP |
| -- |
BK0008207360 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3064066 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10288830 |
| 938 ## - |
|---|
| -- |
Otto Harrassowitz |
| -- |
HARR |
| -- |
har090036262 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
cis23689244 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3034678 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3075128 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |