عنوان
پدید آورنده
موضوع
رده
QA 76.7 .N3
QA
76
.
7
.
N3
کتابخانه
محل استقرار
The logic of partial information
Berlin
Springer-Verlag
c1995
xxv, 715 p.: ill., tables
Monographs in theoretical computer science: an EATCS series
Bibliography: p. ]707[-711
ISBN 3540565833
Areski Nait Abdallah
1
، Programming languages )Electronic computers( -- Semantics
، Computer algorithms
، Logic, Symbolic and mathematical
QA
76
.
7
.
N3
CA
006
.
3/3
Nait Abdallah, Areski, 0591-
AU
TI
SE EATCS monographs on theoretical computer science
