Refine your search

You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Logic, logic, science,  | 
Results: 23 found in 0.006 seconds

1

2

3

>

>>

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
0
Yeni Atlantis /
M.E.B., 1997 . B1180.N6 T9 1997 NEU Grand Library[General Collection] (1)
University of Kyrenia Grand Library[General Collection] (1)
Available
0
Yeni Atlantis /
M.E.B., 1966. B1180.N6 T9 1966 University of Kyrenia 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
0
Rigorous software development :
an introduction to program verification /
ISBN: 9780857290175 		Springer, 2011. QA76.758 .A46 2011 NEU Grand Library[General Collection]
Available
2
Philosophy of science, logic, and mathematics in the twentieth century /
ISBN: 041530881X (pbk) 		Routledge, 1996. Q174.8 .P55 1996 NEU Grand Library[General Collection] (2)
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
Minds and machines
Kluwer Academic Publishers, c1991- Q334 .M56 Online electronic
Not for loan
0
Kitabu'l-burhan /
ISBN: 9789751737311 		Türkiye Yazma Eserler Kurumu Başkanlığı Yayınları, 2014. B753.F34 K58 2014 Yeniboğaziçi Grand Library[General Collection]
Available
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
Felsefe ve felsefi mantık yazıları/
ISBN: 9750809823 		Yapı Kredi, 2005. HN656.5.Z9 G78 2005 NEU Grand Library[General Collection] (2)
Yeniboğaziçi Grand Library[General Collection] (1)
Available
Quick search
Term:
Full phrase Any word

1

2

3

>

>>

Results 1 - 10 of 23 records.
New search | Back to the last search

NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.