عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.845
QA
76
.
L28
Vol
.
845
کتابخانه
محل استقرار
Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings
1st: 1994: Munich, Germany
Berlin
Springer-Verlag
c1994
viii, 367p.: ill., tables
Lecture notes in computer science; 548
Includes bibliographies
ISBN: 354058403X
Jean-Pierre Jouannaud )ed.(
1
Congresses ، Computer programming
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
845
AU
AU Jouannaud, Jean-Pierre
TI
SE
CCL
