عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1092
QA
76
.
L28
Vol
.
1092
کتابخانه
محل استقرار
Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
9th: 1995: Paderborn, Germany
Berlin
Springer-Verlag
1996
viii, 485p.: ill., tables
Lecture notes in computer science; 2901
CSL'95 was the 9th in a series of Workshops and the 4th to be held as the Annnual Conference of the European Association for Computer Science Logic, at the University of Paderborn September 22-29, 1995
Includes bibliographies
3540613773
Hans Kleine Buning, ed.
1
Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
1092
CA
004/
.
01/5113
AU
AU Kleine Buning, Hans
CO EACSL 4th: 1995: Paderborn, Germany
TI
SE
Workshop on Computer Science Logic
