Normal view MARC view ISBD view

R-Calculus, V: Description Logics (Record no. 57112)

MARC details
000 -LEADER
fixed length control field	03103nam a22006255i 4500
001 - CONTROL NUMBER
control field	978-981-99-6460-4
003 - CONTROL NUMBER IDENTIFIER
control field	DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20251030110916.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field	cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	240105s2024 si \| s \|\|\|\| 0\|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9789819964604
--	978-981-99-6460-4
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code	10.1007/978-981-99-6460-4
Source of number or code	doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA267-268.5
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UYA
Source	bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code	COM014000
Source	bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UYA
Source	thema
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Li, Wei.
Relator term	author.
Relator code	aut
--	http://id.loc.gov/vocabulary/relators/aut
9 (RLIN)	69300
245 10 - TITLE STATEMENT
Title	R-Calculus, V: Description Logics
Medium	[electronic resource] /
Statement of responsibility, etc.	by Wei Li, Yuefei Sui.
250 ## - EDITION STATEMENT
Edition statement	1st ed. 2024.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture	Singapore :
Name of producer, publisher, distributor, manufacturer	Springer Nature Singapore :
--	Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice	2024.
300 ## - PHYSICAL DESCRIPTION
Extent	XIII, 384 p. 4 illus., 1 illus. in color.
Other physical details	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
Encoding format	PDF
Source	rda
490 1# - SERIES STATEMENT
Series statement	Perspectives in Formal Induction, Revision and Evolution,
International Standard Serial Number	2731-3697
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note	Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi for Post three-valued DL -- R-calculi for B22-valued DL -- R-calculi for Post L4 -valued DL -- Undecidable DLs -- Introduction -- Role R-calculus for binary-valued DL -- Role R-calculus for Post three-valued DL -- Role R-calculus for B22 -valued DL -- Role R-calculus for Post L4-valued DL -- A Finite injury priority method.
520 ## - SUMMARY, ETC.
Summary, etc.	This fifth volume of the book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. .
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	67305
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	66195
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	66664
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	66910
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
General subdivision	Mathematics.
9 (RLIN)	64041
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	57216
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	67306
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	66198
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	66665
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	66912
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	66501
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	57216
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Sui, Yuefei.
Relator term	author.
Relator code	aut
--	http://id.loc.gov/vocabulary/relators/aut
9 (RLIN)	69301
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element	SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title	Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information	Printed edition:
International Standard Book Number	9789819964598
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information	Printed edition:
International Standard Book Number	9789819964611
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information	Printed edition:
International Standard Book Number	9789819964628
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Perspectives in Formal Induction, Revision and Evolution,
International Standard Serial Number	2731-3697
9 (RLIN)	69302
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	<a href="https://doi.org/10.1007/978-981-99-6460-4">https://doi.org/10.1007/978-981-99-6460-4</a>
912 ## -
--	ZDB-2-SCS
912 ## -
--	ZDB-2-SXCS

No items available.