Model checking and artificial intelligence : (Record no. 638511)

MARC details
000 -LEADER
fixed length control field 06004cam a2200997 a 4500
001 - CONTROL NUMBER
control field ocn318545537
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703150016.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 090415s2009 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
-- CEF
-- OCLCQ
-- E7B
-- OCLCO
-- OCLCQ
-- OCLCA
-- OCLCF
-- BEDGE
-- DKDLA
-- OCLCA
-- OCLCQ
-- OCLCO
-- A7U
-- YDXCP
-- IDEBK
-- NUI
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- EBLCP
-- OCLCQ
-- VT2
-- OCLCA
-- ESU
-- OCLCQ
-- UAB
-- OCLCQ
-- SHS
-- U3W
-- AU@
-- OCLCA
-- WYU
-- OCLCO
-- YOU
-- OCLCQ
-- DCT
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- INT
-- OCLCO
-- OCLCL
-- OCLCA
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 09,N10,0077
Source dnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 992751535
Source DE-101
019 ## -
-- 488398627
-- 646802600
-- 793073925
-- 964876548
-- 988618070
-- 1005820499
-- 1044219562
-- 1066610444
-- 1071681089
-- 1081266350
-- 1110406230
-- 1162769911
-- 1204088501
-- 1262686700
-- 1374608655
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642004315
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642004318
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 364200430X
Qualifying information (softcover ;
-- alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642004308
Qualifying information (softcover ;
-- alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788364200434
Qualifying information (5)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 8364200437
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-00431-5
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000046712645
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000048714714
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058162061
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060029797
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000065269430
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999892314405765
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384367224
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12889049
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)318545537
Canceled/invalid control number (OCoLC)488398627
-- (OCoLC)646802600
-- (OCoLC)793073925
-- (OCoLC)964876548
-- (OCoLC)988618070
-- (OCoLC)1005820499
-- (OCoLC)1044219562
-- (OCoLC)1066610444
-- (OCoLC)1071681089
-- (OCoLC)1081266350
-- (OCoLC)1110406230
-- (OCoLC)1162769911
-- (OCoLC)1204088501
-- (OCoLC)1262686700
-- (OCoLC)1374608655
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-642-00430-8
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.V47
Item number M63 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
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 706f
Number source stub
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 325f
Number source stub
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element MoChArt 2008
Date of meeting (2008 :
Location of meeting Patra, Greece)
9 (RLIN) 32388
245 10 - TITLE STATEMENT
Title Model checking and artificial intelligence :
Remainder of title 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
Statement of responsibility, etc. Doron A. Peled, Michael J. Wooldridge (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title MoChArt 2008
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. 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 computer science ;
Volume/sequential designation 5348.
Series statement Lecture notes in artificial intelligence
500 ## - GENERAL NOTE
General note Includes index.
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. This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Verifying Time and Communication Costs of Rule-Based Reasoners -- Solving?-Calculus Parity Games by Symbolic Planning -- Verifying Robocup Teams -- Scaling Search with Pattern Databases -- Survey on Directed Model Checking -- Automated Testing of Planning Models -- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic -- Model Checking Driven Heuristic Search for Correct Programs -- Experimental Evaluation of a Planning Language Suitable for Formal Verification -- Relaxation Refinement: A New Method to Generate Heuristic Functions -- Model Checking Strategic Equilibria.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer systems
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 32389
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 15105
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence
Form subdivision Congresses.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systèmes informatiques
General subdivision Vérification
Form subdivision Congrès.
9 (RLIN) 967238
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Vérification
Form subdivision Congrès.
9 (RLIN) 18708
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Intelligence artificielle
Form subdivision Congrès.
9 (RLIN) 17678
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 Artificial intelligence
Source of heading or term fast
9 (RLIN) 1340
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Source of heading or term fast
9 (RLIN) 1930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer systems
General subdivision Verification
Source of heading or term fast
9 (RLIN) 1929
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Model Checking
Source of heading or term gnd
9 (RLIN) 1932
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
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Peled, Doron A.,
Dates associated with a name 1962-
-- https://id.oclc.org/worldcat/entity/E39PBJbCKd76vK9JBbkv3hrrMP
9 (RLIN) 17138
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wooldridge, Michael J.,
Dates associated with a name 1966-
-- https://id.oclc.org/worldcat/entity/E39PBJrwTVrRqgbHXmjbrTDDv3
9 (RLIN) 15656
758 ## -
-- has work:
-- Model checking and artificial intelligence (Text)
-- https://id.oclc.org/worldcat/entity/E39PCFtj6XrDx7MkbmVmDD3wQ3
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading MoChArt 2008 (2008 : Patrai, Greece).
Title Model Checking and Artificial Intelligence.
Place, publisher, and date of publication Berlin : Springer, 2009
Record control number (DLC) 2009921993
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 5348.
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-00431-5">https://link.springer.com/10.1007/978-3-642-00431-5</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3063973
938 ## -
-- ebrary
-- EBRY
-- ebr10281281
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis23670024
938 ## -
-- YBP Library Services
-- YANK
-- 3025630
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