TY  - BOOK
A1  - / Dirk Van Dalen, Marc Bezem (eds.)
TI  - Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
PB  - کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره
SN  - 93041190
UR  /book/93041190/Computer-science-logic-10th-international-worksh/
ER  -