Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany.

(Lecture Notes in Computer Science ; 8428)

Call No. (NDL): M17-15-1583
Bibliographic ID of National Diet Library: 025494073

Material type: 図書

Author: RAMiCS (Conference) (14th : 2014 : Marienstatt, Germany)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xi, 462 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.Described as "... (RAMiCS 2014). The conference took place in Marienstatt, Germany, from April 27 to May 1, 2014, and was the third conference ...

Other physical details：: illustrations (black and white)

Related materials as well as pre- and post-revision versions

http://www.springer.com/gb：1850-9999

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319062501 (paperback)
3319062506 (paperback)
ISSN (series): 0302-9743
Title: Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany.
Series Title: Lecture Notes in Computer Science ; 8428
Author Heading: RAMiCS (Conference) (14th : 2014 : Marienstatt, Germany)
Höfner, Peter.
Jipsen, Peter, 1964-
Kahl, W. (Wolfram)
Müller, M. E. (Martin E.), 1970-
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xi, 462 pages
Other physical details: illustrations (black and white)
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Algebraic logic--Congresses.
Relation algebras--Congresses.
Computer science--Mathematics--Congresses.
Algebraic logic.
Computer science--Mathematics.
Relation algebras.
Algebraic methods
Relational methods
RAMiCS
DDC: 511.324
NDLC: M17
Target Audience: 一般
Note (General): Papers.
Described as "... (RAMiCS 2014). The conference took place in Marienstatt, Germany, from April 27 to May 1, 2014, and was the third conference using the RAMiCS title, ..."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Note (Additional Physical Form Available): Also issued online.
Holding library: 国立国会図書館
Call No.: M17-15-1583
Related Material: http://www.springer.com/gb : 1850-9999
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025494073
http://id.ndl.go.jp/bib/025494073
OCLC No.: 878861964
https://www.worldcat.org/oclc/878861964
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215