2. From modallogic to deductive databases

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)

موضوع: Artificial intelligence,Logic programming

رده :
Q
335
.
F76
1989

3. Logique

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: LOGIC,SYMBOLIC & MATHEMATICAL

رده :
QA
9
.
G62

4. Logique

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Logic,Symbolic and mathematical

رده :
QA
9
.
G6L6