Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Computer science logic = 23rd intern...
~
Kahle, Reinhard.
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Computer science logic/ edited by Erich Gradel, Reinhard Kahle.
Reminder of title:
23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
other author:
Gradel, Erich.
corporate name:
Workshop on the Preservation of Stability under Discretization
Published:
Berlin, Heidelberg :Springer Berlin Heidelberg, : 2009.,
Description:
xi, 565 p. :ill., digital ; : 24 cm.;
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer logic - Congresses. -
Online resource:
http://dx.doi.org/10.1007/978-3-642-04027-6
ISBN:
9783642040276 (electronic bk.)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
Computer science logic
23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /[electronic resource] :edited by Erich Gradel, Reinhard Kahle. - Berlin, Heidelberg :Springer Berlin Heidelberg,2009. - xi, 565 p. :ill., digital ;24 cm. - Lecture notes in computer science,57710302-9743 ;.
ISBN: 9783642040276 (electronic bk.)Subjects--Topical Terms:
784003
Computer logic
--Congresses.
LC Class. No.: QA76.9.L63 / C68 2009
Dewey Class. No.: 005.1015113
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
LDR
:00961nam 2200241 a 4500
001
681026
003
Springer
005
20100118133629.0
006
m d
007
cr nn 008maaau
008
111109s2009 gw j eng d
020
$a
9783642040276 (electronic bk.)
020
$a
9783642040269 (paper)
035
$a
978-3-642-04026-9
050
0 4
$a
QA76.9.L63
$b
C68 2009
082
0 4
$a
005.1015113
$2
22
090
$a
QA76.9.L63
$b
C958 2009
111
2
$a
Workshop on the Preservation of Stability under Discretization
$d
(2001 :
$c
Fort Collins, Colo.)
$3
527686
245
1 0
$a
Computer science logic
$h
[electronic resource] :
$b
23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
$c
edited by Erich Gradel, Reinhard Kahle.
260
$a
Berlin, Heidelberg :
$b
Springer Berlin Heidelberg,
$c
2009.
300
$a
xi, 565 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
5771
650
0
$a
Computer logic
$v
Congresses.
$3
784003
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
670059
650
2 4
$a
Mathematics of Computing.
$3
669457
650
2 4
$a
Coding and Information Theory.
$3
669784
650
2 4
$a
Symbolic and Algebraic Manipulation.
$3
669944
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
2 4
$a
Logics and Meanings of Programs.
$3
670058
650
1 4
$a
Computer Science.
$3
593922
700
1
$a
Gradel, Erich.
$3
793331
700
1
$a
Kahle, Reinhard.
$3
793332
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-04027-6
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login
Please sign in
User name
Password
Remember me on this computer
Cancel
Forgot your password?