کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابGeneralized quantifiers and computation : 9th European Summer School in Logic, Language, and
پدیدآورنده: Jouko Vaananen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
Interfaces: Explorations in Logic, Language and Computation
پدیدآورنده: / Thomas Icard, Reinhard Muskens
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
Interfaces: Explorations in Logic, Language and Computation: ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers
پدیدآورنده: / Simon Charlow (auth.), Thomas Icard, Reinhard Muskens (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
Investigations in logic, language and computation
پدیدآورنده: door Henricus Marinus Franciscus Maria Aarts.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computerlinguïstiek.,PROLOG.
رده :
QA267
.
7
D667
1995
Language, logic, and computation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ;
Language, logic, and computation :
پدیدآورنده: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
Logic, Language, Information and Computation
پدیدآورنده: / Luke Ong, Ruy Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Logic, Language, Information, and Computation
پدیدآورنده: / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
Logic, Language, Information, and Computation
پدیدآورنده: / , Ruy QueirozلUlrich Kohlenbach, Pablo Barcel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
Logic, Language, Information, and Computation
پدیدآورنده: / Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
Logic, Language, Information and Computation
پدیدآورنده: / Lev D. Beklemishev, Ruy Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Logic, Language, Information and Computation
پدیدآورنده: / Anuj Dawar, Ruy Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
پدیدآورنده: / Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Logic, Language, and Computation
پدیدآورنده: / bek, Clemens KupkeعMartin Aher, Daniel Hole, Emil Je
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
Logic, Language, and Computation
پدیدآورنده: / bner, Kerstin Schwabe, Luca SpadaنNick Bezhanishvili, Sebastian L
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
Logic, Language, and Computation :
پدیدآورنده: edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.
Logic, Language, and Computation
پدیدآورنده: / bner, Vincenzo Marra, Frank RichterنGuram Bezhanishvili, Sebastian L
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
Logic, language, and computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
Logic, language, and computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Language and logic. ;
Logic, language, and computation :
پدیدآورنده: Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
Logic, language, and computation
پدیدآورنده: / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
Logic, language, and computation
پدیدآورنده: \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
Logic, language, and computation
پدیدآورنده: / edited by Jerry Seligman & Dag Westerstغhl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Language and logic,Logic, Symbolic and mathematical,Computational linguistics
رده :
P39
.
L593
1996
Logic, language, and computation
پدیدآورنده: / edited by Jerry Seligman & Dag Westerst?Nhl
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Language and logic.,Logic, Symbolic and mathematical.,Computational linguistics.
رده :
P
,
39
,.
L593
,
1996
Logic, language, and computation : festschrift in honor of Satoru Takasu
پدیدآورنده: Neil D. Jones, Masami Hagiya, Masahiko Sato, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Takasu, Satoru, 1391-
رده :
QA
76
.
L28
Vol
.
792
Logic, language, information and computation
پدیدآورنده: [edited by]& L. D. Beklemishev, Ruy de Queiroz
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
Logic, language, information and computation
پدیدآورنده: Luke Ong, Ruy de Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2012eb
Logic, language, information, and computation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ;
Logic, language, information, and computation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ;
Logic, language, information and computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ; Berechnungstheorie ; Logik ; Kongress ; Tokio <2009> ; Formale Methode ; Kongress ; Tokio <2009> ; Nat?rliche Sprache ; Formale Syntax ; Formale Grammatik ; Kongress ; Tokio <2009> ; Programmierlogik ; Kong
Logic, language, information, and computation :
پدیدآورنده: Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
Logic, language, information, and computation
پدیدآورنده: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
Logic, language, information, and computation :
پدیدآورنده: Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2019
Logic, language, information and computation
پدیدآورنده: Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2009
Logic, language, information, and computation :
پدیدآورنده: Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2018eb
Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
پدیدآورنده: / [edited by] Wilfrid Hodges, Ruy de Queiroz.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی,منطق ریاضی,زبان‌شناسی کامپیوتری,-- کنگره‌ها, -- کنگره‌ها
رده :
QA
۹
/
ک
۲ ۱۳۸۷
New Directions in Logic, Language and Computation
پدیدآورنده: / Daniel Lassiter, Marija Slavkovik
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
New directions in logic, language and computation
پدیدآورنده: Daniel Lassiter, Marija Slavkovik (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
E97
2010eb
Pristine Perspectives on Logic, Language, and Computation
پدیدآورنده: / Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
9, 2010. Proceedings-Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6
پدیدآورنده: / Marcelo Finger, Mauricio S. C. Hernandes (auth.), Anuj Dawar, Ruy de Queiroz (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Quasi Orders in Computation, Logic, Language and Reasoning-Well
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
