1. Logic programming : formal methods and practical applications

پدیدآورنده :

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

موضوع : Logic programming

رده :
QA
76
.
63
.
L63294
1995

2. Termination proofs for logic programs

پدیدآورنده :

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

موضوع : ، Logic programming,، Artificial intelligence

رده :
QA
76
.
63
.
P58
1990

3. Termination proofs for logic programs

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming,، Artificial intelligence

رده :
QA
76
.
L28
Vol
.
446

4. Termination proofs for logic programs /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Logic programming.

رده :
QA76
.
63
.
P58
1990