Publisher
Edition
At
0
Journal of logic and computation
Oxford University Press,
[1990?-
QA76.63 .J68
Online electronic
Not for loan
0
Logic program synthesis from incomplete information /
by Pierre Flener.
ISBN: 0792395328
Kluwer Academic Publishers,
1995.
QA76.63 .F55 1995
Yeniboğaziçi Grand Library[General Collection]
Available
0
Verification, Model Checking, and Abstract Interpretation :
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/
ISBN: 9783540939009
Springer Berlin Heidelberg,
2009.
QA76.5 .V47 2009
Yeniboğaziçi Grand Library[General Collection]
Available
13
Logic and computer design fundamentals /
ISBN: 0132389452 (IE pbk.)
Pearson/Prentice Hall,
2004.
QA76.5 M36 2004
NEU Grand Library[General Collection]
Available
0
Parallelism and implementation of logic and constraint logic programming /
ISBN: 1560726733
Nova Science Pub.,
c1999.
QA76.58 P37 1999
NEU Grand Library[General Collection]
Available
0
An Undergraduate Fuzzy Logic Control Lab Using a Line Following Robot
Wiley-Blackwell,
2011.
QA75.5 .U53 2011
NEU Grand Library[Online electronic]
Available
2
Kim korkar matematikten/
Bilim ve Sanat Yayınları,
1983.
QA36 .T47 1983
NEU Grand Library[General Collection]
Available
2
Kim korkar matematikten/
Bilim ve Sanat Yayınları,
1984.
QA21 .T47 1984
NEU Grand Library[General Collection]
Available
0
Kanıt nasıl yapılır :
Bir yapısal yaklaşım /
ISBN: 9786055829032
Palme Yayıncılık,
2017.
QA9 .V45 2017
NEU Grand Library[General Collection]
Available
1
Mathematical logic /
ISBN: 1568811357 (pbk. : acid-free paper)
Association for Symbolic Logic ;
[2001].
QA9 .S52 2001
NEU Grand Library[General Collection]
Available