TY  - BOOK
A1  - / Andrei Voronkov, Christoph Weidenbach
TI  - Programming Logics
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93567123
UR  /book/93567123/Programming-Logics/
ER  -