@BOOK{ Book!D - 93041190,
AUTHOR = "/ Dirk Van Dalen, Marc Bezem (eds.)",
TITLE = "Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers",
LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره",
SUBJECT = "Computer science - Congresses,Logic, Symbolic and mathematical - Congresses",
URL = "/book/93041190/Computer-science-logic-10th-international-worksh/"}