41. PLC[پی ال سی]کنترلگرهای منطقی برنامهپذیر
Author: / دبلیو، بولتون,Programmable logic Controllers an introduction
Library: Central Library and Document Center of Arak University (Markazi)
Subject: کنترلکنندههای برنامهپذیر,طراحی منطقی
Classification :
۶۲۹
/
۸۹۵
ب
۷۸۵
پ
42. Practical logic /
Author: by Zygmunt Ziembinski ; with the appendix on deontic logic by Zdzislaw Ziemba ; [translated from the Polish by Leon Ter-Organian].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.
Classification :
BC116
.
Z513
43. Procedings of the first logic congress
Author: Procedings of the first logic congress
Library: Vali Asr University Central Library (Kerman)
Subject: Logic symbolic and mathematical
Classification :
QA
9
.
F5
1993
44. Procedings of the first logic congress
Author: Procedings of the first logic congress
Library: Vali Asr University Central Library (Kerman)
Subject: Logic symbolic and mathematical
Classification :
QA
9
.
F5
1993
45. Proceeding 33rd international symposium on multiple - valued logic, 16-19 May 2003, Tokyo, Japan
Author: Sponsored by IEEE Computer Society Technical Committeeon Multiple - valued logic , Japanese Research Group on Multiple - valued logic Meiji Uni
Library: Central Library and Documentation Center (Kerman)
Subject: congresses ، Many-valued logic
Classification :
QA
9
.
45
.
M84
2003
46. Proceedings
Author: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
Classification :
QA
76
.
9
.
M35
S94
1989
47. Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 ; C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebraic logic - Congresses,Algebra, Universal - Congresses
Classification :
QA
.
A45
10
1988
48. Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference, )8891, Ames, Iowa(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic-- Congresses,، Algebra, Universal-- Congresses
Classification :
QA
10
.
A45
1988
49. Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
Author: Logic Congress )0991: Tehran, Iran(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
9
.
A1
.
L638
1990
50. Proceedings of the Second Scandinavian Logic Symposium
Author: Scandinavian Logic Symposium, 2d, 0791, University of Oslo
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical - Congresses
Classification :
QA
9
.
S32
1970
51. Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O.
Author: Summer School in Logic, Leeds, Eng
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Addresses, essays, lectures ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
70
52. Proceedings of the first logic congress , may 5-7 , 1990
Author: Proceedings of the logic congress ( First : Tehran : 1990 )
Library: Central Library of Ansar Islamic Center (Tehran)
Subject:
Classification :
160
P
963
P
53. Proceedings of the first logic congress , may 5 - 7 1990
Author: Logic congress ( 1st : 1990 : tehran )
Library: Central Library of Ansar Islamic Center (Tehran)
Subject:
Classification :
511
.
3
P
832
L
54. Proceedings of the lOgic Colloquium held in Aachen, Julyu 18-23, 1983
Author: Logic Colloquium )3891: Aachen, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathemtical--Congresses
Classification :
QA
3
.
L28
no
.
1103
,
1104
55. Proceedings, the Nineteen International Symposium on Multiple-Valued Logic
Author: International Symposium on Multiple-Valued Logic )91th: 9891: Guangzhou, China(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Many-Valued Logic - Congresses,، Switching theory - Congresses,، Logic circuits - Congresses
Classification :
TK
7868
.
L6I57
1989
56. Proceedings: the twenty-Fourth International Symspoium on Multiple - Valued Logic, May 25-27, 1994, Boston, Massachusetts
Author: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Multiple - Valued Logic, University of Massachusetts at Boston
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Many-valued logic - Congresses
Classification :
QA
9
.
45
.
I57
1994
57. Proceedings, the twenty-third International Symspoium on Multiple - Valued Logic, May 24-27, 1993, Sacramento, California
Author: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Multiple - Valued Logic, Center for Image Processing and Integrated Computing at University of California, Davis
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Many-valued logic - Congresses
Classification :
QA
9
.
45
.
I57
1993
58. Realism and the aim of science
Author: Karl R. Popper, from the postscript to the logic of scientific discovery
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Science - Philosophy
Classification :
Q
,
175
,.
P8643
,
1999
59. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
Author: sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
Classification :
QA
.
I56
76
.
642
1990
60. logic program synthesis and transformation
Author: logic program synthesis and transformation
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming
Classification :
QA
76
.
63
.
L6
1993
