The logic of partial information - Nait Abdallah, Areski, 1950- (Berlin : Springer, 1995)
With 160 Figures
Περιέχει βιβλιογραφία και ευρετήριο
Keywords: Programming languages (Electronic computers) -- Semantics; Computer algorithms; Logic, Symbolic and mathematical