عنوان
پدید آورنده
موضوع
رده
QA 75.5 .W625 1995
QA
75
.
5
.
W625
1995
کتابخانه
محل استقرار
02BL0000000007485
انگلیسی
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Hans Kleine Buning, )ed.(
Berlin
Springer
1998
viii, 429 p. : ill
, 7485 , 2-1
Lecture notes in computer science, 1092
Computer science - Congresses
Logic, Symbolic and mathematical - Congresses
QA
75
.
5
.
W625
1995
Workshop on Computer Science Logic, )9th : 1995 : Paderborn, Germany(
CSL'95 was the fourth to be held as the Annual Conference of the EACSL
AU
AU
Kleine Buning, Hans
European Association for Computer Science Logic, Conference, )4th: 1995: Paderborn, Germany(
