1. Logical foundations of computer science--Tver '92
پدیدآورنده : A. Nerode, M. Taitslin )eds.(.
کتابخانه: (کرمان)
موضوع : Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
L6
1992
2. Logical foundations of computer science--Tver '92
پدیدآورنده : A. Nerode, M. Taitslin )eds.(.
کتابخانه: (کرمان)
موضوع : Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
L6
1992