1. Domain Theory, Logic and Computation :
پدیدآورنده : edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003

