عنوان
پدید آورنده
موضوع
رده
QA 75.5 .W625 1995
QA
75
.
5
.
W625
1995
کتابخانه
محل استقرار
H1
Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Berlin
Springer
1996
viii, 485 p. : ill
Lecture notes in computer science, 1092
CSL 95 was the fourth to be held as the Annual Conference of the EACSL
Includes bibliographical references and index
Computer science - Congresses
Logic, Symbolic and mathematical - Congresses
QA
75
.
5
.
W625
1995
AU
Hans Kleine Buning, )ed.(
Workshop on Computer Science Logic, )9th : 1995 : Paderborn, Germany(
English
