1. Computational logic
پدیدآورنده : edited by Ulrich Berger, Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.
رده :
QA76
.
9
.
L63
E358
1999