عنوان
پدید آورنده
موضوع
رده
QA 76 .7 .N35 1995
QA
76
.
7
.
N35
1995
کتابخانه
محل استقرار
114058
زمستان۶۷
English
)20(
Nait Abdallah, Areski
1950-
The logic of partial information
Berlin
Springer
1995
xxv, 715 p.: ill.; 25 cm
Monographs in theoretical computer science
Includes bibliographical references and index
، Programming languages )Electronic computers(-- Semantics
، Computer algorithms
، Logic, Symbolic and mathematical
QA
76
.
7
.
N35
1995
AU
Areski Nait Abdallah
TI
02
