کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA Never Ending Story-Mathematics, Computer Science and Logic
پدیدآورنده: / Peter Paule
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian
پدیدآورنده: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
پدیدآورنده: C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L4
v
.
425
Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده: / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Algebraic logic- Congresses,Algebra, Universal- Congresses
رده :
QA10
.
A45
1990
Algebraic logic and universal algebra in computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical
رده :
A394
Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
پدیدآورنده: C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425
CSL'87 lst workshop on computer science logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
پدیدآورنده: Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science- Mathematics- Congresses ► Logic, Symbolic and mathematical- Congresses
رده :
W926c
Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
پدیدآورنده: John W. Gray and Andre Scedrov, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
9
.
M35A57
1987
Categories in Computer science and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic data processing- Mathematics ► Categorig (Mathematics)
رده :
C357
Categories in computer science and logic :
پدیدآورنده: John W. Gray and Andre Scedrov, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.
رده :
QA76
.
9
.
M35
A47
1987
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
رده :
QA
76
.
9
.
M35
.
A47
1987
Computer Science Logic
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
Computer Science Logic
پدیدآورنده: Anuj Dawar, Helmut Veith
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Computer Science Logic
پدیدآورنده: / Anuj Dawar, Helmut Veith
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
پدیدآورنده: Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
832
Computer science and multiple valued logic
پدیدآورنده: / edited by David C. Rine
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Switching theory,Logic circuits,Threshold logic,Many-valued logic
رده :
QA
268
.
5
.
C65
Computer science and multiple-valued logic
پدیدآورنده: / edited by David C. Rine
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA268
.
5
،.
C65
1984
Computer science and multiple valued logic : theory and applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Switching theory,، Logic circuits,، Threshold logic,، Many-valued logic
رده :
QA
268
.
5
.
C65
Computer science and multiple- valued logic theory and applications
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Switching theory ► Threshold lgic ► Many- Valued logic
رده :
C738
Computer science logic
پدیدآورنده: / Anuj Dawar, Helmut Veith (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer logic, Congresses
رده :
QA76
.
9
.
L63
2010
Computer science logic :
پدیدآورنده: Leszek Pacholski, Jerzy Tiuryn ( Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Congressi - Kazimierz - 1994.,Elaborazione elettronica dei dati - Congressi - 1994.,Logica matematica e simbolica - Congressi - 1994.
رده :
QA75
.
5
L479
1995
Computer science logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical
رده :
C738
Computer science logic
پدیدآورنده: edited by E.Borger ,G.Jager
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer Science
رده :
QA
75
.
5
.
C6
1992
Computer science logic
پدیدآورنده: / Leszek Pacholski, Jerzy Tiuryn, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
QA76
.
5
.
W64
1995
Computer science logic :
پدیدآورنده: Hans Kleine Büning (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
Computer science logic; CSL, 88
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science- Mathematics
رده :
C738
Computer science logic : 12th International Workshop, CSL'98 : Annual Conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
پدیدآورنده: Georg Gottlob, Etienne Grandjean, Katrin Seyr )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1584
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
پدیدآورنده: Peter Clote, Helmut Schwitchtenberg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1862
Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL
پدیدآورنده: Hans Kleine Buning, ed.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1092
Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL
پدیدآورنده: Dirk van Dalen, Marc Bezem )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1258
Computer science logic : 11th International Workshop, CSL'97 : annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997: selected papers
پدیدآورنده: Mogens Nielsen, Wolfgang Thomas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1414
Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the
پدیدآورنده: Jerzy Marcinkowski, Andrzej Tarlecki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3210
Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
پدیدآورنده: Luke Ong )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3634
Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : proceedings
پدیدآورنده: Julian Bradfield )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2471
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
W624
1991
Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
پدیدآورنده: E. Borger...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
533
Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
پدیدآورنده: E. Brger...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
702
Computer science logic : 5th Workshop, CSL'91 : proceedings
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
626
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL
پدیدآورنده: Hans Kleine Buning, )ed.(
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL
پدیدآورنده: Hans Kleine Buning, )ed.(
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL
پدیدآورنده: Hans Kleine Buning, )ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL
پدیدآورنده: / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
Computer science logic: 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
پدیدآورنده: Jerzy Marcinkowski, Andrzej Tarlecki )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
9
.
L63
E93
Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
پدیدآورنده: Laurent Fribourg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2142
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL
پدیدآورنده: Matthias Baaz, Johann A. Makowsky )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2803
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990
Deontic Logic in Computer Science
پدیدآورنده: / Guido Governatori, Giovanni Sartor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Deontic Logic in Computer Science
پدیدآورنده: gotnes, Jan Broersen, Dag ElgesemThomas
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Deontic Logic in Computer Science
پدیدآورنده: Guido Governatori, Giovanni Sartor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Deontic Logic in Computer Science
پدیدآورنده: / gotnes, Jan Broersen, Dag ElgesemThomas
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
پدیدآورنده: Lou Goble, John-Jules Ch. Meyer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
4048
Deontic logic in computer science
پدیدآورنده: Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Deontic logic, Congresses
رده :
QA75
.
5
.
I64
2011eb
Deontic logic in computer science. normative system specification
پدیدآورنده: / edited by John-Jules Ch. Meyer and Roel J. Wieringa
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer science- Congresses,Deontic logic- Congresses
رده :
QA75
.
5
.
D46
Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science
پدیدآورنده: Alessio Lomuscio, Donald Nute )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
3065
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
پدیدآورنده: Janusz Czelakowski, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
رده :
QA29
.
P54
Epistemic logic for AI and computer science
پدیدآورنده: Meyer, John-Jules Ch.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
M495
1995
Field - Programmable Logic , Architectures , Synthesis And Application . Lecture notes in computer Science , September 1994 9 FPL )
پدیدآورنده: / W.R. Hartenstein : Editor
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع:
رده :
P
.
E
.
304
R
Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده: Yves Nievergelt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده: Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده: by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
Handbook of Logic in Computer Science
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
Handbook of logic and proof techniques for computer science
پدیدآورنده: Krantz, Steven G. )Steven George(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computers,، Electronic data processing
رده :
QA
76
.
K723
2002
Handbook of logic and proof techniques for computer science
پدیدآورنده: Krantz, Steven George, 1951-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computers ► Electronic data processing
رده :
K89h
Handbook of logic and proof techniques for computer science
پدیدآورنده: Steven G. Krantz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computers,، Electronic data processing
رده :
QA
76
.
K7
Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
H2785
1992
Handbook of logic in computer science
پدیدآورنده: / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Logic, Symbolic and mathematical.
رده :
QA
,
76
,.
H2785
,
1992
Handbook of logic in computer science /
پدیدآورنده :
موضوع : ، Computer science,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Handbook of logic in computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: etupmoCA ecneicS,igoLA,cilobmyS dna lacitamehtam
رده :
QA
76
.
H27
1992
Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dor M. Gabba
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H234
Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
Linear logic in computer science
پدیدآورنده: edited by Thomas Ehrhard ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
Logic, Mathematics, and Computer Science.
پدیدآورنده: \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
Logic, Mathematics, and Computer Science
پدیدآورنده: Yves Nievergelt
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: LINGUISTICS AND LANGUAGE
Logic : a foundation for computer science
پدیدآورنده: V. Sperschneider & G. Antoniou
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S64
Logic : a foundation for computer science
پدیدآورنده: Sperschneider, V.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S6787
1991
Logic and computer science
پدیدآورنده: / Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming (Mathematics) -- Congresses,Computational complexity -- Congresses
رده :
QA
9
.
L6
1990
Logic and computer science
پدیدآورنده: / S. Homer... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
Logic and computer science
پدیدآورنده: edited by Piergiorgio Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
L5
1990
Logic and computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical ► Computer programs- Corretness
رده :
L832
Logic and computer science : lectures given at the 1st Session of the Centro internazionale
پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
Logic and computer science: lectures given at the 1st session of the Centro internazionale
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
Logic and computer science: lectures given at the 1st session of the Centro internazionale
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
Logic and discrete mathematics: A computer science perspective
پدیدآورنده : Winfied Karl Grassmann, Jean-Paul Tremblay
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Logic and discrete mathematics: a computer science perspectine
پدیدآورنده: Grassmann, Winfried Karl
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical ► Computer science-mathematics
رده :
G878l
Logic and discrete mathematics : a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996
Logic and discrete mathematics: a computer science perspective
پدیدآورنده: / Winfried Karl Grassmann, Jean-Paul Tremblay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer science- Mathematics
رده :
QA76
.
9
.
M35G725
1996
Logic and discrete mathematics: a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996
Logic and language models for computer science /
پدیدآورنده: Henry Hamburger, Dana Richards
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence,Description logics,Formal languages
رده :
QA267
.
3
.
H35
2002
Logic at Botik'89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings
پدیدآورنده: A.R. Meyer, M.A. Taitslin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
363
Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computers architecture,، Programming language )Electronic Computers(
رده :
QA
75
.
5
.
B67
1989
Logic at Botik ʹ89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
پدیدآورنده: Botik ʹ89, Pereslavl-Zalessky, 1989
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computers- Congresses ► Electronic data processing- Congresses ► Logic, Symbolic and mathematical- Congresses
رده :
B749l
Logic & discrete mathematics, a computer science perspective
پدیدآورنده: Grassmann, Winfried Karl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Computer science - mathematics
رده :
QA
76
.
9
.
M35
G7
Logic for Computer Science and Artificial Intelligence
پدیدآورنده: / Caferra
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
Logic for Computer Science and Artificial Intelligence
پدیدآورنده: Caferra
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
