کتابخانه مرکزی  
فرمول جستجو:
جستجو در م‍وض‍وع‌ : Language and logic
انواع مدارک:
پايگاه هاي اطلاعاتي:
جستجو در بانک اصلي
 
موضوع:
Philosophy, Moder
Grammar, Comparative and genera
Logic programming
Logic, Medieval
Wittgenstein, Ludwig
Conceptual structures (Information theory
Programming languages (Electronic computers)- Semantics
Language and logic
 
پدیدآور:
Moore, Robert C.,1948-
Bramer, M. A.(Max A.),1948-
Newmarch, Jan
Peters, Stanley,1941-
McGinn, Marie.
International Conference on Conceptual Structures(7th :1999 :Blacksburg, Va.)
Norris, Christopher,1947-
McManus, Denis,1967-
Allen, James,1950-
 
ناشر:
Center for the Study of Language and Information,
Prentice Hall
Oxford University Press,
CSLI Publications,
Benjamin/Cummings Pub. Co.,
Clarendon Press ;New York :Oxford University Press ,
Brill,
Springer,
Clarendon Press ;New York :Oxford University Press,
Palgrave Macmillan,
 
مرتب سازي صعودي براساس       
پالایش جستجو جستجو جديد    
    
1  
کتاب لاتین
 
 
Logic and representation
Moore, Robert C.,1948- ؛  Stanford, Calif. Center for the Study of Language and Information,   ، c1995
شماره راهنما: ‭P‬,‭39‬,‭.M66‬,‭1995‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

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

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

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

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

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

7  
کتاب لاتین
 
 
Quantifiers in language and logic
Peters, Stanley,1941- ؛  Oxford Clarendon Press ;New York :Oxford University Press,   ، 2006
شماره راهنما: ‭P‬,‭299‬,‭.Q3,P48‬,‭2006‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

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

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

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

11  
کتاب لاتین
 
 
Language, logic, and epistemology
Norris, Christopher,1947- ؛  Houndmills, Basingstoke, Hampshire ;New York Palgrave Macmillan,   ، 2004
شماره راهنما: ‭B‬,‭804‬,‭.N67‬,‭2004‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک