عنوان
پدید آورنده
موضوع
رده
QA 76.9 .R36 2011
QA
76
.
9
.
R36
2011
کتابخانه
محل استقرار
electronic
Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
New York
Springer
2011
VIII, 363p. : digital
Lecture notes in computer science ;3666
ISBN: 9783642210 3642210694
Includes bibliographical references and author index
]edited by[ Harrie de Swart
1st ed.
، Software engineering
، Logic design
، Algebra -- Data processing
، Computer simulation
، Mathematical Logic and Formal Languages
، Symbolic and Algebraic Manipulation
، Logics and Meanings of Programs
، Simulation and Modeling
، Artificial Intelligence )incl. Robotics(
، Computer science -- Mathematics -- Congresses
، lgebraic logic -- Congresses
، Relation algebras -- Congresses
، RAMICS
QA
76
.
9
.
R36
2011
TI
AU Swart, H. C. M. de.
TI
