عنوان
پدید آورنده
موضوع
رده
QA 76.9 .R36 2011
QA
76
.
9
.
R36
2011
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
electronic
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
VIII, 363p. : digital
SERIES
Series Title
Lecture notes in computer science ;3666
GENERAL NOTES
Text of Note
ISBN: 9783642210 3642210694
Text of Note
Includes bibliographical references and author index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
]edited by[ Harrie de Swart
NOTES PERTAINING TO EDITION AND BIBLIOGRAPHIC HISTORY
Text of Note
1st ed.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Software engineering
Entry Element
، Logic design
Entry Element
، Algebra -- Data processing
Entry Element
، Computer simulation
Entry Element
، Mathematical Logic and Formal Languages
Entry Element
، Symbolic and Algebraic Manipulation
Entry Element
، Logics and Meanings of Programs
Entry Element
، Simulation and Modeling
Entry Element
، Artificial Intelligence )incl. Robotics(
Entry Element
، Computer science -- Mathematics -- Congresses
Entry Element
، lgebraic logic -- Congresses
Entry Element
، Relation algebras -- Congresses
Entry Element
، RAMICS
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
R36
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Swart, H. C. M. de.
TI
