Publisher
Edition
At
0
Minds and machines
Kluwer Academic Publishers,
c1991-
Q334 .M56
Online electronic
Not for loan
0
Logic journal of the IGPL
Oxford University Press ;
QA9.A1 L645
Online electronic
Not for loan
0
ACM transactions on computational logic
Association for Computing Machinery,
c2000-
QA76.9.L63 A3
Online electronic
Not for loan
0
Fuzzy optimization and decision making
Kluwer Academic Publishers,
c2002-
QA402.5 .F887
Online electronic
Not for loan
0
Sembolik Mantık /
Anadolu Üniversitesi Yayınları,
2013.
BC135 .S46 2013
NEU Grand Library[General Collection]
Available
0
Çocuklar için sudoku :
JUV 02915
NEU Grand Library[Children Section]
Available
0
Kitabu'l-burhan /
Türkiye Yazma Eserler Kurumu Başkanlığı Yayınları,
2014.
B753.F34 K58 2014
Yeniboğaziçi Grand Library[General Collection]
Available
0
Verification, Model Checking, and Abstract Interpretation :
Springer Berlin Heidelberg,
2009.
QA76.5 .V47 2009
Yeniboğaziçi Grand Library[General Collection]
Available
0
Interactive logic puzzles.
Lagoon Group,
[2004?]
GV1493 .I58 2004
Yeniboğaziçi Grand Library[General Collection]
Available
0
Mantık /
Milli Eğitim Basımevi,
1983.
BC117.T8 M36 1983
University of Kyrenia Grand Library[General Collection]
Available
