عنوان
پدید آورنده
موضوع
رده
QA 76.9 .L63 W67 1996
QA
76
.
9
.
L63
W67
1996
کتابخانه
محل استقرار
CE
Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
Berlin
Springer
1997
viii, ]473[ p.: ill
Lecture notes in computer science; 1258
Includes bibliographical references and index
Computer logic - Congresses
QA
76
.
9
.
L63
W67
1996
AU
Dirk van Dalen, Marc Bezem )eds.(
Workshop on Computer Science Logic )10th: 1996: Utrecht, Netherlands(
