کتابخانه مرکزی  
فرمول جستجو:
جستجو در م‍وض‍وع‌ : Logic
انواع مدارک:
پايگاه هاي اطلاعاتي:
جستجو در بانک اصلي
 
موضوع:
Logic, Medieval
Logic programming
Default reasoning
Modality (Logic
Digital electronics
Logic programmin
Logic
Programmable logic device
Logic, Symbolic and mathematical
Wittgenstein, Ludwig
Conceptual structures (Information theory
Artificial intelligenc
Language and logic
 
پدیدآور:
Cocchiarella, Nino B.
LPAR (Conference)(6th :1999 :Tbilisi, Georgia)
Moore, Robert C.,1948-
McGinn, Marie.
Schlechta, Karl.
International Conference on Conceptual Structures(7th :1999 :Blacksburg, Va.)
ILP (Conference)(14th :2004 :Porto, Portugal)
Congress of Logic Applied to Technology(5th :2005 :Himeji-shi, Japan)
Barwise, Jon.
Honeywill, Paul.
Kersting, Kristian.
Harris, David Money.
JELIA 2004(2004 :Lisbon, Portugal)
Chiswell, Ian,1948-
AISC 2004(2004 :Linz, Austria)
Beall, J. C.
McManus, Denis,1967-
 
ناشر:
Oxford University Press,
Clarendon Press ;New York :Oxford University Press ,
Brill,
Springer,
Morgan Kaufmann Publishers,
Clarendon Press ;New York :Oxford University Press,
Center for the Study of Language and Information,
CSLI Publications,
IOS Press,
Intellect Books,
 
مرتب سازي صعودي براساس       
پالایش جستجو جستجو جديد    
    
  1     2     3     4     5     6     7      
1  
کتاب لاتین
 
 
Advances in logic based intelligent systems
Congress of Logic Applied to Technology(5th :2005 :Himeji-shi, Japan) ؛  Amsterdam ;Washington, DC IOS Press,   ، c2005
شماره راهنما: ‭Q‬,‭334‬,‭.C69‬,‭2005‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

2  
کتاب لاتین
 
 
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   افزودن به ليست    مشاهده کامل مدرک
 

3  
کتاب لاتین
 
 
Digital design using QuarkXPress 4
Honeywill, Paul. ؛  Exeter [England] Intellect Books,   ، 1997
شماره راهنما: ‭IN‬,‭PROCESS (COPIED)‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

4  
کتاب لاتین
 
 
Logic and representation
Moore, Robert C.,1948- ؛  Stanford, Calif. Center for the Study of Language and Information,   ، c1995
شماره راهنما: ‭P‬,‭39‬,‭.M66‬,‭1995‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

5  
کتاب لاتین
 
 
Logic, language, and computation
Stanford, Calif. CSLI Publications,   ، c1996-c2000
شماره راهنما: ‭P‬,‭39‬,‭.L593‬,‭1996‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

6  
کتاب لاتین
 
 
Language, proof, and logic
Barwise, Jon. ؛  Stanford, Calif. CSLI Publications,   ، c2002
شماره راهنما: ‭BC‬,‭61‬,‭.B38‬,‭2002‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

7  
کتاب لاتین
 
 
Inductive logic programming
ILP (Conference)(14th :2004 :Porto, Portugal) ؛  Berlin ;New York Springer,   ، 2004
شماره راهنما: ‭QA‬,‭76.63‬,‭.I52‬,‭2004‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

8  
کتاب لاتین
 
 
Artificial intelligence and symbolic computation
AISC 2004(2004 :Linz, Austria) ؛  Berlin ;New York Springer,   ، c2004
شماره راهنما: ‭Q‬,‭334‬,‭.A385‬,‭2004‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

9  
کتاب لاتین
 
 
Logics in artificial intelligence
JELIA 2004(2004 :Lisbon, Portugal) ؛  Berlin ;New York Springer,   ، c2004
شماره راهنما: ‭Q‬,‭334‬,‭.J46‬,‭2004‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

10  
کتاب لاتین
 
 
Logics in artificial intelligence
Berlin ;New York Springer,   ، 2000
شماره راهنما: ‭Q‬,‭334‬,‭.L64‬,‭2000‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

11  
کتاب لاتین
 
 
Nonmonotonic logics
Schlechta, Karl. ؛  Berlin ;New York Springer,   ، c1997
شماره راهنما: ‭Q‬,‭339‬,‭.S35‬,‭1997‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

12  
کتاب لاتین
 
 
Conceptual structures
International Conference on Conceptual Structures(7th :1999 :Blacksburg, Va.) ؛  Berlin ;New York Springer,   ، 1999
شماره راهنما: ‭Q‬,‭387.2‬,‭.I58‬,‭1999‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

13  
کتاب لاتین
 
 
Logic for programming and automated reasoning
LPAR (Conference)(6th :1999 :Tbilisi, Georgia) ؛  Berlin ;New York Springer,   ، c1999
شماره راهنما: ‭QA‬,‭76.63‬,‭.L73‬,‭1999‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

14  
کتاب لاتین
 
 
Logica modernorum in Prague about 1400
Leiden ;Boston Brill,   ، 2004
شماره راهنما: ‭B‬,‭765‬,‭.Z9,L36‬,‭2004‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

15  
کتاب لاتین
 
 
Digital design and computer architecture
Harris, David Money. ؛  Amsterdam ;Boston Morgan Kaufmann Publishers,   ، c2007
شماره راهنما: ‭TK‬,‭7868‬,‭.D5,H34‬,‭2007‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

16  
کتاب لاتین
 
 
Modal logic
Cocchiarella, Nino B. ؛  Oxford ;New York Oxford University Press,   ، 2008
شماره راهنما: ‭BC‬,‭199‬,‭.M6,C63‬,‭2008‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

17  
کتاب لاتین
 
 
Mathematical logic
Chiswell, Ian,1948- ؛  London ;New York Oxford University Press,   ، 2007
شماره راهنما: ‭QA‬,‭9.2‬,‭.C45‬,‭2007‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

18  
کتاب لاتین
 
 
Elucidating the Tractatus
McGinn, Marie. ؛  Oxford Clarendon Press ;New York :Oxford University Press ,   ، 2009
شماره راهنما: ‭B‬,‭3376‬,‭.W563,T73435‬,‭2009‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

19  
کتاب لاتین
 
 
The enchantment of words
McManus, Denis,1967- ؛  New York Oxford University Press,   ، 2006
شماره راهنما: ‭B‬,‭3376‬,‭.W563,T7344‬,‭2006‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

20  
کتاب لاتین
 
 
Logical pluralism
Beall, J. C. ؛  Oxford Clarendon Press ;New York :Oxford University Press,   ، 2006
شماره راهنما: ‭BC‬,‭71‬,‭.B425‬,‭2006‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

  1     2     3     4     5     6     7