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