421. Algebraic Foundations of Systems Specification
پدیدآورنده: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
422. 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
423. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده: Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
رده :
QA
10
.
A45
1990
424. Algebraic Methodes in Philosophical Logic
پدیدآورنده: / J.Michael Dunn and Gary M.Hardegree
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algabric Logic
رده :
QA10
.
D85
2001
425. Algebraic Methodology and Software Technology :
پدیدآورنده: edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
426. Algebraic analysis of basic propositional logic
پدیدآورنده: by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
427. Algebraic and Algorithmic Aspects of Differential and Integral Operators :
پدیدآورنده: edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
L63
E358
2014
428. Algebraic and Logic Programming :
پدیدآورنده: edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
429. Algebraic and logic programming :
پدیدآورنده: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
430. Algebraic and logic programming :
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
431. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
432. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
پدیدآورنده: H. Kirchner, W. Wechler, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
433. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده: H. Kirchner, G. Levi, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
434. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
6
.
A4583
1988
435. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
436. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A4584
1990
437. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده: Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
438. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده: Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
439. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
440. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
