Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logic, language, information and com...
~
(1998 :)
Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Logic, language, information and computationedited by Anuj Dawar, Ruy Queiroz.
Reminder of title:
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
other author:
Queiroz, Ruy.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010.
Description:
x, 258 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer logicCongresses.
Online resource:
http://dx.doi.org/10.1007/978-3-642-13824-9
ISBN:
9783642138249 (electronic bk.)
Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
Logic, language, information and computation
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /[electronic resource] :edited by Anuj Dawar, Ruy Queiroz. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010. - x, 258 p. :ill., digital ;24 cm. - Lecture notes in computer science,61880302-9743 ;.
ISBN: 9783642138249 (electronic bk.)Subjects--Topical Terms:
443053
Computer logic
--Congresses.
LC Class. No.: QA76.9.L63 / W67 2010
Dewey Class. No.: 004.015113
Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
LDR
:00935nmm 2200241 a 4500
001
274040
003
Springer
005
20101028110307.0
006
m d
007
cr nn 008maaau
008
101221s2010 gw s j eng d
020
$a
9783642138249 (electronic bk.)
020
$a
9783642138232 (paper)
035
$a
978-3-642-13823-2
050
0 4
$a
QA76.9.L63
$b
W67 2010
082
0 4
$a
004.015113
$2
22
090
$a
QA76.9.L63
$b
W926 2010
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Logic, language, information and computation
$h
[electronic resource] :
$b
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
$c
edited by Anuj Dawar, Ruy Queiroz.
260
$a
Berlin, Heidelberg :
$b
Springer-Verlag Berlin Heidelberg,
$c
2010.
300
$a
x, 258 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
6188
650
0
$a
Computer logic
$v
Congresses.
$3
443053
650
0
$a
Logic, Symbolic and mathematical
$3
254195
650
0
$a
Formal methods (Computer science)
$3
277520
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
650
2 4
$a
Computation by Abstract Devices.
$3
273703
650
2 4
$a
Discrete Mathematics in Computer Science.
$3
274791
650
2 4
$a
Symbolic and Algebraic Manipulation.
$3
273720
700
1
$a
Queiroz, Ruy.
$3
283966
700
1
$a
Dawar, Anuj.
$3
484955
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-13824-9
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
000000050290
電子館藏
1圖書
電子書
EB QA76.9.L63 W67 2010
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-13824-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login