عنوان

Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings

پدید آورنده

]edited by[ Harrie de Swart

موضوع

، 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

کتابخانه

کتابخانه مرکز پژوهش متالورژی رازی

محل استقرار

استان: تهران ـ شهر: تهران