5981. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
A37
2005
5982. WOPPLOT 83 : Parallel Proceeding : Logic, Organization and Technology : Proceedings of a Workshop
Author: edited by J. Becker, I. Eisele
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QC
3
.
L28
Vol
.
196
5983. WOPPLOT 83: parallel processing-- Logic, organization, and technology: proceedings of a workshop
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(-- Congresses
Classification :
QA
76
.
6
.
W685
1983
5984. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
Author: edited by J.D. Becker and I. Eisele
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
253
5985. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
Author: WOPPLOT 68, )6891, Neubiberg, Germany(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
253
5986. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop
Author: WOPPLOT 38, )3891, Neubiberg, Germany(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(
Classification :
QA
76
.
6
.
W685
1983
5987. Waht is mathematical logic ?
Author: / J. N. Crossley ... [et al.]
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical
Classification :
511
.
3
Wh
5988. Was Arminius an (Unwitting) Determinist? Another Look at Arminius's Modal Logic
Author: Thomas H. McCall
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: determinism,Eef Dekker,Franciscus Gomarus,Jacob Arminius,modality
5989. Water logic
Author: Edward De Bono.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Creative thinking.,Problem solving.,Thought and thinking.
Classification :
BF441
.
E393
1994
5990. Weird water & fuzzy logic :
Author: Martin Gardner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science.,Science.
Classification :
AC8
.
G335
1996
5991. What is Mathematical Logic?
Author: /J.N. Crossley ... ret al.]
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:
5992. What is mathematical logic
Author: J.N. Crossley...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
W43
1972
5993. What is mathematical logic?
Author: / J. N. Crossley ... [et all]
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, symbolic and mathematical
Classification :
QA9
.
W55
5994. What is mathematical logic?
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
5995. What is mathematical logic?
Author: / J.N. Crossley ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
,.
W47
,
1990
5996. Why prolog?: justifying logic programming for practical applications
Author: Lazarev, Gregory L
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Prolog )Computer program language(,، Logic programming
Classification :
QA
76
.
73
.
P76
L38
1989
5997. #Wide Range Logic Ic Tester
Author: #رضا عمادی
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: #BS
5998. William of Sherwood's Introduction to logic /
Author: translated with an introd. and notes by Norman Kretzmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Early works to 1800.,Logic, Medieval.,Logic, Medieval.,Logic.
Classification :
BC60
.
S513
1975
5999. Wittgenstein on logic as the method of philosophy :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject:
6000. Wittgenstein's Notes on Logic
Author: / Michael Potter
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Wittgenstein, Ludwig, 1889-1951. Notes on logic,Logic,ویتگنشتاین ، لودویگ ،۱۹۵۱-۱۸۸۹ . یادداشت های منطق,منطق
Classification :
B3376
.
W563
,
Z85
20020119
