کتابخانه مرکزی  
فرمول جستجو:
جستجو در م‍وض‍وع‌ : Logic programming
انواع مدارک:
پايگاه هاي اطلاعاتي:
جستجو در بانک اصلي
 
موضوع:
Parallel programming (Computer science)
Logic programming
Curry-Howard isomorphism
Programming languages (Electronic computers)- Semantics
 
پدیدآور:
Bhattacharya, Alakananda.
Bramer, M. A.(Max A.),1948-
Kersting, Kristian.
Newmarch, Jan
Poernomo, Iman Hafiz,1976-
Allen, James,1950-
 
ناشر:
Prentice Hall
Springer
IOS Press,
Benjamin/Cummings Pub. Co.,
Springer-Verlag,
Springer,
 
مرتب سازي صعودي براساس       
پالایش جستجو جستجو جديد    
    
1  
کتاب لاتین
 
 
An inductive logic programming approach to statistical relational learning
Kersting, Kristian. ؛  Amsterdam ;Washington, D.C. IOS Press,   ، c2006
شماره راهنما: ‭QA‬,‭76.63‬,‭.K47‬,‭2006‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

2  
کتاب لاتین
 
 
Adapting proofs-as-programs
Poernomo, Iman Hafiz,1976- ؛  New York Springer   ، c2005
شماره راهنما: ‭QA‬,‭9.54‬,‭.P64‬,‭2005‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

3  
کتاب لاتین
 
 
Logic programming: Prolog and Stream Parallel Languages
Newmarch, Jan ؛  New York Prentice Hall   ، 1990
شماره راهنما: ‭AQ‬,‭76/63‬,‭N48‬,‭1990‬
افزودن به ليست    مشاهده کامل مدرک
 

4  
کتاب لاتین
 
 
Parallel and distributed logic programming
Bhattacharya, Alakananda. ؛  Berlin Springer-Verlag,   ، c2006
شماره راهنما: ‭QA‬,‭76.642‬,‭.B484‬,‭2006‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

5  
کتاب لاتین
 
 
Logic programming with Prolog
Bramer, M. A.(Max A.),1948- ؛  [London ; New York] Springer,   ، c2005
شماره راهنما: ‭QA‬,‭76.63‬,‭.B73‬,‭2005‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

6  
کتاب لاتین
 
 
Natural language understanding
Allen, James,1950- ؛  Redwood City, Calif. Benjamin/Cummings Pub. Co.,   ، c1995
شماره راهنما: ‭QA‬,‭76.7‬,‭.A44‬,‭1995‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک