1. Computer Science Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
2. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
3. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ Moreno Falaschi (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
4. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ [edited by] Maurizio Proietti, Hirohisa Seki.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
5. Logical Aspects of Computational Linguistics
پدیدآورنده : \ [edited by] Denis Bechet, Alexander Dikovsky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational linguistics -- Congresses.,Language and logic -- Congresses.,Computer logic -- Congresses.,زبان‌شناسی کامپیوتری -- کنگره‌ها ,زبان و منطق -- کنگره ها ,منطق کامپیوتری -- کنگره ها
رده :
P
98
.
L6
2012
E-Book
,
6. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
7. Mathematical Foundations of Computer Science 2010
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
8. Theoretical Aspects of Computing – ICTAC 2015
پدیدآورنده : \ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer logic.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری
رده :
QA76
.
T46
2015
E-Book
,
9. Theory and Applications of Formal Argumentation.
پدیدآورنده : \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
9
.
T46
2015
E-Book
,
