Publisher
Edition
At
0
Symbolic logic and mechanical theorem proving /
ISBN: 0121703509
Academic Press,
[1987], c1973.
QA9 .C483 1987
NEU Grand Library[General Collection]
Available
0
Logic journal of the IGPL
Oxford University Press ;
QA9.A1 L645
Online electronic
Not for loan
0
Logic Colloquium '98 :
proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 /
ISBN: 1568811136
Association for Symbolic Logic,
c2000.
QA9.A1 L64 1998
-
-
0
Gödel '96 :
logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
ISBN: 1568811535 (pbk. : alk. paper)
Association for Symbolic Logic,
c2001.
QA9.A1 G6 1996
NEU Grand Library[General Collection]
Available
0
BRCA variations risk assessment in breast cancers using different artificial intelligence models /
Near East University,
2021.
QA9.64 .S46 2021
NEU Grand Library[General Collection] (2)
Available
0
Neuro-Fuzzy Type-2 client assessment system /
Near East University,
2007
QA9.64 .I44 2007
NEU Grand Library[Reserve Section]
Available
0
Direct torque control of induction motor using fuzzy logic /
Near East University,
2015
QA9.64 .A46 2015
NEU Grand Library[Reserve Section] (2)
Available
2
100% mathematical proof /
ISBN: 0471961981
Wiley,
c1996.
QA9.54 .G367 1996
NEU Grand Library[General Collection]
Available
0
Tanrı matematikçi mi ?/
ISBN: 9789752112001
Altın Kitaplar,
2009.
QA8.4 .L86 2009
NEU Grand Library[General Collection] (1) Yeniboğaziçi Grand Library[General Collection] (1)
Available
1
Kanıtlar ve çürütmeler :
matematiksel keşfin mantığı /
ISBN: 9786054883028
Nesin Matematik Köyü ,
2014.
QA8.4 .L35 2014
NEU Grand Library[General Collection]
Available