عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1683
QA
76
.
L28
Vol
.
1683
کتابخانه
محل استقرار
Computer scince logic : 13th International Workshop, CSL' 99 : 8th annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
13th: 1999: Madrid, Spain
Berlin
Springer-Verlag
c1999
xi, 580 p.: ill., tables
Lecture notes in computer science; 3861
Includes bibliographies
ISBN 3540665366
Jorg Flum, Mario Rodriguez-Artalejo )eds.(
1
Congresses ، Computer logic
QA
76
.
L28
Vol
.
1683
AU
AU Flum, Jorg
AU Rodriguez Artalejo, Mario
CO EACSL 8th: 1999: Madrid, Spain
TI
SE
Workshop on Computer Science Logic
