Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logic, language, information and com...
~
(1998 :)
Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Logic, language, information and computationedited by Luke Ong, Ruy Queiroz.
Reminder of title:
19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
remainder title:
WoLLIC 2012
other author:
Ong, Luke.
corporate name:
Published:
Berlin, Heidelberg :Springer Berlin Heidelberg :2012.
Description:
335 p. :ill., digital ;23 cm.
Contained By:
Springer eBooks
Subject:
Computer logicCongresses.
Online resource:
http://dx.doi.org/10.1007/978-3-642-32621-9
ISBN:
9783642326219 (electronic bk.)
Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
Logic, language, information and computation
19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /[electronic resource] :WoLLIC 2012edited by Luke Ong, Ruy Queiroz. - Berlin, Heidelberg :Springer Berlin Heidelberg :2012. - 335 p. :ill., digital ;23 cm. - Lecture notes in computer science,74560302-9743 ;. - Lecture notes in computer science ;4891..
ISBN: 9783642326219 (electronic bk.)Subjects--Topical Terms:
443053
Computer logic
--Congresses.
LC Class. No.: QA9.A1 / W67 2012
Dewey Class. No.: 005.131
Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
LDR
:01002nmm a2200277 a 4500
001
343296
003
DE-He213
005
20120919102157.0
006
m d
007
cr nn 008maaau
008
121005s2012 gw s 0 eng d
020
$a
9783642326219 (electronic bk.)
020
$a
9783642326202 (paper)
035
$a
978-3-642-32621-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA9.A1
$b
W67 2012
082
0 4
$a
005.131
$2
23
090
$a
QA9.A1
$b
W926 2012
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Logic, language, information and computation
$h
[electronic resource] :
$b
19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
$c
edited by Luke Ong, Ruy Queiroz.
246
3
$a
WoLLIC 2012
260
$a
Berlin, Heidelberg :
$b
Springer Berlin Heidelberg :
$b
Imprint: Springer,
$c
2012.
300
$a
335 p. :
$b
ill., digital ;
$c
23 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
7456
650
0
$a
Computer logic
$v
Congresses.
$3
443053
650
0
$a
Logic, Symbolic and mathematical
$3
254195
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Discrete Mathematics in Computer Science.
$3
274791
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Computation by Abstract Devices.
$3
273703
650
2 4
$a
Symbolic and Algebraic Manipulation.
$3
273720
700
1
$a
Ong, Luke.
$3
456624
700
1
$a
Queiroz, Ruy.
$3
283966
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-32621-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
000000070901
電子館藏
1圖書
電子書
EB QA9.A1 W67 2012
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-32621-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login