Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Frontiers of combining systemsthird ...
~
(1998 :)
Frontiers of combining systemsthird international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Frontiers of combining systemsHelene Kirchner, Christophe Ringeissen (eds.).
Reminder of title:
third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /
remainder title:
FroCoS 2000, frontiers of combining systems
other author:
Kirchner, Helene.
corporate name:
Published:
Berlin ;Springer,c2000.
Description:
x, 289 p. :digital ;25 cm.
Series:
Lecture notes in computer science ;
Contained By:
Springer e-books
Subject:
Logic, Symbolic and mathematical
Online resource:
http://dx.doi.org/10.1007/10720084
ISBN:
9783540672814 (paper)
Frontiers of combining systemsthird international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /
Frontiers of combining systems
third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /[electronic resource] :FroCoS 2000, frontiers of combining systemsHelene Kirchner, Christophe Ringeissen (eds.). - Berlin ;Springer,c2000. - x, 289 p. :digital ;25 cm. - Lecture notes in computer science ;1794.
ISBN: 9783540672814 (paper)Subjects--Topical Terms:
254195
Logic, Symbolic and mathematical
LC Class. No.: QA9.A1 / F73 2000
Dewey Class. No.: 511.3
Frontiers of combining systemsthird international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /
LDR
:00927nmm 2200241 a 4500
001
264523
003
GreenPo
005
20100414092246.0
006
m d
007
cr nn 008maaau
008
101102s2000 gw s j eng d
020
$a
9783540672814 (paper)
035
$a
978-3-540-67281-4
050
0 0
$a
QA9.A1
$b
F73 2000
082
0 0
$a
511.3
$2
21
090
$a
QA9.A1
$b
F935 2000
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Frontiers of combining systems
$h
[electronic resource] :
$b
third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /
$c
Helene Kirchner, Christophe Ringeissen (eds.).
246
1 8
$a
FroCoS 2000, frontiers of combining systems
260
$a
Berlin ;
$a
New York :
$b
Springer,
$c
c2000.
300
$a
x, 289 p. :
$b
digital ;
$c
25 cm.
440
0
$a
Lecture notes in computer science ;
$v
1794
650
0
$a
Logic, Symbolic and mathematical
$3
254195
650
0
$a
Computer science
$3
252805
700
1
$a
Kirchner, Helene.
$3
468029
700
1
$a
Ringeissen, Christophe.
$3
468030
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/10720084
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
000000045641
電子館藏
1圖書
電子書
EB QA9.A1 F73 2000 c2000.
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/10720084
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login