Refine your search

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

You searched: |  Subject = Logic, logic, logic symbolic and mathematical,  | 
Results: 46 found in 0.013 seconds

1

2

3

4

5

>

>>

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
0
Journal of logic and computation
Oxford University Press, [1990?- QA76.63 .J68 Online electronic
Not for loan
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
1
Logic, artificial intelligence and robotics :
LAPTEC 2001 /
ISBN: 1586032062 (IOS Press : hd.bd.) 		IOS Press ; c2001. Q335 L64 2001 Storage -
Ask reception
0
Advances in logic, artificial intelligence, and robotics :
LAPTEC 2002 /
ISBN: 1586032925 		IOS Press/Ohmsha, 2002. Q334 .C69 2002 NEU Grand Library[General Collection]
Available
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
Symbolic logic and mechanical theorem proving /
ISBN: 0121703509 		Academic Press, [1987], c1973. QA9 .C483 1987 NEU Grand Library[General Collection]
Available
0
Mathematics year 5 :
Work book /
 Canbulat Basımevi, 2010. JUV 0489 University of Kyrenia Grand Library[Children Section]
Available
5
Aklın İdaresi İçinKurallar /
Milli Eğitim Basımevi, 1966. B1868.R42 .T8 1999 NEU Grand Library[General Collection] (1)
University of Kyrenia Grand Library[University Of Kyrenia] (1)
Available
Quick search
Term:
Full phrase Any word

1

2

3

4

5

>

>>

Results 1 - 10 of 46 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.