1. 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.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
رده :
QA
10
.
A45
1990
2. Cambridge Summer School in Mathematical Logic; ]papers[
پدیدآورنده : Canbridge Summer School in Mathematical Logic
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
337
3. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
4. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده : Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990
5. Conference in Mathematical Logic, London 70
پدیدآورنده : Conference in Mathematical Logic, Bedford College
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
255
6. Deontic logic, agency and normative systems
پدیدآورنده : DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996. Mark A. Brown and José Carmo (ed.). Publ. in collab. with the British Computer Society
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Deontische Logik,Informatik,Normative Logik
7. Design systems for VLSI circuits: logic synthesis and silicon compilation
پدیدآورنده : NATO Advanced Study Institute on Logic Synthesis and Silicon Compilation for VLSI Design )6891: L'Aquila, Italy(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Integrated circuits- Very large scale integration- Congresses,، Silicon compilers- Congresses
رده :
TK
7874
.
N338
1987
8. Field-programmable logic and applications: 5th international workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995 : proceedings
پدیدآورنده : International Workshop on Field-Programmable Logic and Applications )5th :5991 :Oxford, England(, Will Moore, Wayne Luk, )eds.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Field programmable gate arrays- Congresses,، Programmable array logic- Congresses
رده :
TK
7895
.
G36
I48
1995
9. Field-programmable logic: smart applications, new paradigms, and compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23-25, 1966 : proceedings
پدیدآورنده : International Workshop on Field-Programmable Logic and Applications )6th :6991 :Darmstadt, Germany(, Reiner W. Hartenstein, Manfred Glesner )eds.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Programmable array logic- Congresses
رده :
TK
7868
.
L6
I56
1996
10. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
11. Foundations of mathematics
پدیدآورنده : Abstracts Resumees; mathematical logic and
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Communication in Science-- Abstracts
رده :
Q
223
.
A2
12. Hardware/ Accessories catalog
پدیدآورنده : Prepared by logic products Group
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Microcomputers - catalogs
رده :
QA
76
.
5
.
H3
1975
13. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
پدیدآورنده : International Summer Institute and Logic Colloquium, University of Kiel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
14. Langage verite et logique
پدیدآورنده : / Alfred Jules Ayer,Titre original; Language, truth and logic,Ayer
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Experience.,Knowledge, Theory of.,Language and languages, --Philosophy.
رده :
B53
.
A9L36
1956
15. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
پدیدآورنده : Logic Colloquium, Wroclaw, Poland
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
رده :
QA
9
.
A1
.
L63
1977
16. Logic Colloquium '85 :
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
L63
1985
17. Logic Colloquium' 88: Proceedings of the Colloquium held in Padova, Italy, August 22-21, 1988
پدیدآورنده : Logic Colloquium )8891: Padova, Italy(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathemaical-- Congresses,، Model theory-- Congresses
رده :
QA
9
.
A1
.
L63
1988
18. Logic Colloquium'85 : proceedings of the Colloquium held in Orsay, France, July 1985
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1985
19. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : Logic Symposia, )9791, Hakone-machi, Japan(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
891
20. Logic colloquium' 78. Proceedings of the colloquium held in Mons, Aug. 1978
پدیدآورنده : Logic Colloqium Mons, 8791
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathemaical-- Congresses
رده :
QA
9
.
A1
.
L63
1978
