عنوان
پدید آورنده
موضوع
رده
QA76.9.M35
QA76
.
9
.
M35
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030021483
(Number (ISBN
3030021491
(Number (ISBN
3030021505
(Number (ISBN
9783030021481
(Number (ISBN
9783030021498
(Number (ISBN
9783030021504
Erroneous ISBN
9783030021481
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Relational and algebraic methods in computer science :
General Material Designation
[Book]
Other Title Information
17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings /
First Statement of Responsibility
Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 385 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
11194
GENERAL NOTES
Text of Note
International conference proceedings.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index.
CONTENTS NOTE
Text of Note
Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools.
0
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030021498
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030021481
International Standard Book Number
9783030021504
PARALLEL TITLE PROPER
Parallel Title
RAMiCS 2018
TOPICAL NAME USED AS SUBJECT
Algebraic logic, Congresses.
Computer science-- Mathematics, Congresses.
Relation algebras, Congresses.
Algebraic logic.
Artificial intelligence.
Computer programming-- software development.
Computer science-- Mathematics.
Computers-- Intelligence (AI) & Semantics.
Computers-- Programming-- Algorithms.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Mathematical theory of computation.
Mathematics-- Logic.
Programming & scripting languages: general.
Relation algebras.
(SUBJECT CATEGORY (Provisional
MAT018000
UYA
UYA
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Desharnais, Jules
Guttmann, Walter
Joosten, Stef
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RAMiCS (Conference)(17th :2018 :, Groningen, Netherlands)
ORIGINATING SOURCE
Date of Transaction
20200823073858.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
