861. Theory of reversible computing
المؤلف: Morita, Kenichi
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Reversible computing -- Congresses,، Computer logic -- Congresses
رده :
QA
76
.
9
.
R48R3
2017
862. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
المؤلف: editors, Masahiko Sato, Yoshihito Toyama
المکتبة: (طهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
863. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
المؤلف: editors, Masahiko Sato, Yoshihito Toyama
المکتبة: (طهران)
موضوع: Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
864. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
المؤلف: edited by Ehud Shapiro
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
225
865. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
المؤلف: edited by Ehud Y. Shapiro
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
866. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
المؤلف: edited by Ehud Shapiro.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
867. Toposes, Algebraic geometry and logic
المؤلف: ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
868. Toposes, algebraic geometry and logic
المؤلف: ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
869. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
المؤلف: I. Bucur ... ]et al.[; edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
870. Towards Mathematical Philosophy
المؤلف: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
871. Towards mathematical philosophy
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
872. Towards mathematical philosophy
المؤلف: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
873. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
المؤلف: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
874. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
المؤلف: Makinson, David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
875. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
876. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
المؤلف: Burkhard Freitag...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1472
877. Trends in Functional Programming
المؤلف: \ Jurriaan Hage , Jay McCarthy (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
878. Trends in applied intelligent systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Industrial applications ; Congresses. ; Fuzzy systems ; Industrial applications ; Congresses. ; Fuzzy logic ; Industrial applications ; Congresses. ;
879. Trends in functional programming :
المؤلف: Michał Pałka, Magnus Myreen (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
880. Trends in functional programming :
المؤلف: David Van Horn, John Hughes (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
