Automated reasoning with analytic tableaux and related methods : (Record no. 639576)

MARC details
000 -LEADER
fixed length control field 06954cam a2201009 a 4500
001 - CONTROL NUMBER
control field ocn495477463
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703151002.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 mn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 091230s2009 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency YBM
-- OSU
-- OCLCQ
-- CUS
-- C$Q
-- CEF
-- LEAUB
-- E7B
-- OCLCO
-- OCLCQ
-- OCLCA
-- OCLCF
-- BEDGE
-- DKDLA
-- OCLCQ
-- OCLCO
-- COO
-- YDXCP
-- NUI
-- SLY
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- EBLCP
-- OCLCQ
-- VT2
-- SOI
-- UAB
-- ESU
-- OCLCQ
-- SHS
-- BUF
-- REB
-- OCLCQ
-- U3W
-- OCLCA
-- WYU
-- YOU
-- OL$
-- OCLCQ
-- W2U
-- OCLCQ
-- LUN
-- DCT
-- COM
-- OCLCO
-- SFB
-- OCLCQ
-- INT
-- OCLCO
-- OCLCL
-- VI#
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 09,N24,0004
Source dnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 994479476
Source DE-101
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 015305759
Source Uk
019 ## -
-- 458626642
-- 500472665
-- 646849894
-- 759624572
-- 880309025
-- 961878376
-- 964912604
-- 1005786081
-- 1026464493
-- 1044337476
-- 1056404673
-- 1060686470
-- 1060790849
-- 1066423075
-- 1073048848
-- 1081268359
-- 1086954879
-- 1162792512
-- 1170629128
-- 1172088337
-- 1204018496
-- 1262674312
-- 1374608387
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642027161
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642027164
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642027154
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3642027156
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788364202711
Qualifying information (1)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 8364202715
024 3# - OTHER STANDARD IDENTIFIER
Standard number or code 9783642027154
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-02716-1
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000045252103
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000048772282
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058157458
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060029410
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384360793
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13274715
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13444144
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13658800
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)495477463
Canceled/invalid control number (OCoLC)458626642
-- (OCoLC)500472665
-- (OCoLC)646849894
-- (OCoLC)759624572
-- (OCoLC)880309025
-- (OCoLC)961878376
-- (OCoLC)964912604
-- (OCoLC)1005786081
-- (OCoLC)1026464493
-- (OCoLC)1044337476
-- (OCoLC)1056404673
-- (OCoLC)1060686470
-- (OCoLC)1060790849
-- (OCoLC)1066423075
-- (OCoLC)1073048848
-- (OCoLC)1081268359
-- (OCoLC)1086954879
-- (OCoLC)1162792512
-- (OCoLC)1170629128
-- (OCoLC)1172088337
-- (OCoLC)1204018496
-- (OCoLC)1262674312
-- (OCoLC)1374608387
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-642-02715-4
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.A96
Item number T33 2009
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 006.3/33
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TP181-532
Number source clc
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TP18-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 DAT 706f
Number source stub
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element TABLEAUX 2009
Date of meeting (2009 :
Location of meeting Oslo, Norway)
9 (RLIN) 36452
245 10 - TITLE STATEMENT
Title Automated reasoning with analytic tableaux and related methods :
Remainder of title 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /
Statement of responsibility, etc. Martin Giese, Arild Waaler (eds.).
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin ;
-- New York :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice ©2009.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xii, 340 pages) :
Other physical details illustrations
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
340 ## - PHYSICAL MEDIUM
-- illustration
Source rdaill
344 ## - SOUND CHARACTERISTICS
Type of recording digital
Source rdatr
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Source rdaft
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 5607.
Series statement Lecture notes in artificial intelligence
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary: SL 7 - Artificial intelligence
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 8# - SUMMARY, ETC.
Summary, etc. Annotation This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009. The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Presenting Constraints -- On the Use of Automata for Deciding Linear Arithmetic -- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus -- A Schemata Calculus for Propositional Logic -- Tableaux and Model Checking for Memory Logics -- Canonical Constructive Systems -- A Novel Architecture for Situation Awareness Systems -- On the Proof Theory of Regular Fixed Points -- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus -- A Tableau-Based System for Spatial Reasoning about Directional Relations -- Terminating Tableaux for the Basic Fragment of Simple Type Theory -- Modular Sequent Systems for Modal Logic -- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions -- Goal-Directed Invariant Synthesis for Model Checking Modulo Theories -- Taming Displayed Tense Logics Using Nested Sequents with Deep Inference -- Sound Global State Caching for ALC with Inverse Roles -- A Tableau System for the Modal?-Calculus -- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies -- Prime Implicate Tries -- Proof Systems for a Gödel Modal Logic -- Generic Modal Cut Elimination Applied to Conditional Logics -- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents -- Automated Synthesis of Tableau Calculi -- Tableaux for Projection Computation and Knowledge Compilation.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic theorem proving
Form subdivision Congresses.
9 (RLIN) 14919
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Théorèmes
General subdivision Démonstration automatique
Form subdivision Congrès.
9 (RLIN) 14921
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic theorem proving.
Source of heading or term cct
9 (RLIN) 14923
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 Automatic theorem proving
Source of heading or term fast
9 (RLIN) 14923
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatisches Beweisverfahren
Source of heading or term gnd
9 (RLIN) 14924
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 Oslo (2009)
Source of term swd
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Giese, Martin.
9 (RLIN) 36453
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Waaler, Arild.
9 (RLIN) 36454
758 ## -
-- has work:
-- Automated reasoning with analytic tableaux and related methods (Text)
-- https://id.oclc.org/worldcat/entity/E39PCFJ46YxWRrm36TYG3Cby3P
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading TABLEAUX 2009 (2009 : Oslo, Norway).
Title Automated reasoning with analytic tableaux and related methods.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2009
International Standard Book Number 9783642027154
Record control number (DLC) 2009929055
-- (OCoLC)422688778
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 5607.
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
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 7,
Name of part/section of a work Artificial intelligence.
9 (RLIN) 20712
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-642-02716-1">https://link.springer.com/10.1007/978-3-642-02716-1</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3064722
938 ## -
-- YBP Library Services
-- YANK
-- 3126440
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha