國立高雄大學圖資館 |

Language: English

Back

Relations and kleene algebra in comp...

(1998 :)

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Relations and kleene algebra in computer scienceedited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
Reminder of title:	11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
remainder title:	Relational methods in computer science.
other author:	Moller, Bernhard.
corporate name:
Published:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2009.
Description:	viii, 365 p. :ill., digital ;24 cm.
Series:	Lecture notes in computer science,
Contained By:	Springer eBooks
Subject:	Relation algebrasCongresses.
Online resource:	http://dx.doi.org/10.1007/978-3-642-04639-1
ISBN:	9783642046391 (electronic bk.)

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /[electronic resource] :Relational methods in computer science.edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2009. - viii, 365 p. :ill., digital ;24 cm. - Lecture notes in computer science,58270302-9743 ;.

ISBN: 9783642046391 (electronic bk.)Subjects--Topical Terms:

384460
Relation algebras
--Congresses.

LC Class. No.: QA10 / .I584 2009

Dewey Class. No.: 004.0151

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
LDR:01269nmm 2200301 a 4500 001 240380
003 Springer
005 20100316171203.0
006 m d
007 cr nn 008maaau
008 100410s2009 gw j eng d
020 $a 9783642046391 (electronic bk.)
020 $a 9783642046384 (paper)
035 $a 978-3-642-04638-4
050 0 4 $a QA10 $b .I584 2009
082 0 4 $a 004.0151 $2 22
090 $a QA10 $b .I61 2009
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Relations and kleene algebra in computer science $h [electronic resource] : $b 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / $c edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
246 3 0 $a Relational methods in computer science.
246 3 0 $a Applications of Kleene algebra.
246 3 0 $a Kleene algebra.
246 3 0 $a Relmics 2009.
246 3 0 $a AKA 2009.
260 $a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2009.
300 $a viii, 365 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 5827
650 0 $a Relation algebras $v Congresses. $3 384460
650 0 $a Algebraic logic $v Congresses. $3 384461
650 0 $a Computer science $x Mathematics $3 253427
650 2 4 $a Discrete Mathematics in Computer Science. $3 274791
650 2 4 $a Symbolic and Algebraic Manipulation. $3 273720
650 2 4 $a Order, Lattices, Ordered Algebraic Structures. $3 275673
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Algebra. $3 188312
700 1 $a Moller, Bernhard. $3 384458
700 1 $a Jaoua, Ali Mohamed. $3 384459
700 1 $a Berghammer, Rudolf. $3 384457
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-04639-1
950 $a Computer Science (Springer-11645)