1. Computing in Horn Clause theories
پدیدآورنده: Peter padawitz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
2. Computing in Horn clause theories
پدیدآورنده: Padawitz, Peter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P32
1988
3. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده: \ Stan Raatz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming,Horn clauses,برنامه‌نویسی منطقی
رده :
E-Book
,
