Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
A proof theory for description logics
~
Rademaker, Alexandre.
A proof theory for description logics
Record Type:
Electronic resources : Monograph/item
Title/Author:
A proof theory for description logicsby Alexandre Rademaker.
Author:
Rademaker, Alexandre.
Published:
London :Springer London,2012.
Description:
x, 106 p. :ill., digital ;23 cm.
Contained By:
Springer eBooks
Subject:
Description logics.
Online resource:
http://dx.doi.org/10.1007/978-1-4471-4002-3
ISBN:
9781447140023 (electronic bk.)
A proof theory for description logics
Rademaker, Alexandre.
A proof theory for description logics
[electronic resource] /by Alexandre Rademaker. - London :Springer London,2012. - x, 106 p. :ill., digital ;23 cm. - SpringerBriefs in computer science,2191-5768. - SpringerBriefs in computer science..
ISBN: 9781447140023 (electronic bk.)Subjects--Topical Terms:
563339
Description logics.
LC Class. No.: Q335 / .R33 2012
Dewey Class. No.: 006.332
A proof theory for description logics
LDR
:00836nmm a2200265 a 4500
001
338346
003
Springer
005
20120712151414.0
006
m d
007
cr nn 008maaau
008
120801s2012 enk s 0 eng d
020
$a
9781447140023 (electronic bk.)
020
$a
9781447140016 (paper)
035
$a
978-1-4471-4002-3
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
Q335
$b
.R33 2012
082
0 4
$a
006.332
$2
23
090
$a
Q335
$b
.R127 2012
100
1
$a
Rademaker, Alexandre.
$3
563338
245
1 2
$a
A proof theory for description logics
$h
[electronic resource] /
$c
by Alexandre Rademaker.
260
$a
London :
$b
Springer London,
$c
2012.
300
$a
x, 106 p. :
$b
ill., digital ;
$c
23 cm.
490
1
$a
SpringerBriefs in computer science,
$x
2191-5768
650
0
$a
Description logics.
$3
563339
650
0
$a
Proof theory
$x
Data processing.
$3
278944
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Mathematics of Computing.
$3
273710
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
SpringerBriefs in computer science.
$3
559641
856
4 0
$u
http://dx.doi.org/10.1007/978-1-4471-4002-3
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000069155
電子館藏
1圖書
電子書
EB Q335 .R127 2012
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-1-4471-4002-3
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login