Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Automated reasoningsecond internatio...
~
(1998 :)
Automated reasoningsecond international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Automated reasoningDavid Basin, Michael Rusinowitsch (eds.).
Reminder of title:
second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
other author:
Basin, David.
corporate name:
Published:
Berlin ;Springer,c2004.
Description:
xii, 491 p. :ill., digital ;24 cm.
Contained By:
Springer e-books
Subject:
Automatic theorem provingCongresses.
Online resource:
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b98691
ISBN:
9783540223450 (paper)
Automated reasoningsecond international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
Automated reasoning
second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /[electronic resource] :David Basin, Michael Rusinowitsch (eds.). - Berlin ;Springer,c2004. - xii, 491 p. :ill., digital ;24 cm. - Lecture notes in computer science,3097. Lecture notes in artificial intelligence0302-9743 ;. - Lecture notes in computer science ;3097..
ISBN: 9783540223450 (paper)Subjects--Topical Terms:
443052
Automatic theorem proving
--Congresses.
LC Class. No.: QA76.9.A96 / I38 2004
Dewey Class. No.: 004.015113
Automated reasoningsecond international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
LDR
:00965nmm 2200229 a 4500
001
217242
003
GreenPo
005
20081119102738.0
006
m d
007
cr nn 008maaau
008
091014s2004 gw j eng d
020
$a
9783540223450 (paper)
035
$a
978-3-540-22345-0
050
0 0
$a
QA76.9.A96
$b
I38 2004
082
0 4
$a
004.015113
$2
22
090
$a
QA76.9.A96
$b
I25 2004
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Automated reasoning
$h
[electronic resource] :
$b
second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
$c
David Basin, Michael Rusinowitsch (eds.).
260
#
$a
Berlin ;
$a
New York :
$c
c2004.
$b
Springer,
300
$a
xii, 491 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
3097. Lecture notes in artificial intelligence
650
# 0
$a
Automatic theorem proving
$v
Congresses.
$3
443052
650
# 0
$a
Computer logic
$v
Congresses.
$3
443053
700
1 #
$a
Basin, David.
$3
344911
700
1 #
$a
Rusinowitsch, Michael.
$3
346428
710
2 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
830
0
$a
Lecture notes in computer science ;
$v
3097.
$3
450877
830
0
$a
Lecture notes in computer science.
$p
Lecture notes in artificial intelligence.
$3
216725
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b98691
950
$a
Computer Science (Lecture Notes in Computer Science)
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
000000030170
電子館藏
1圖書
電子書
EB QA76.9.A96 I25 2004
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b98691
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login