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

 
Title
Author
Publisher Edition
Shelf
At
1
Logic, artificial intelligence and robotics :
LAPTEC 2001 /
ISBN: 1586032062 (IOS Press : hd.bd.)
IOS Press ; c2001. Q335 L64 2001 Storage -
Ask reception
0
Readings in nonmonotonic reasoning /
ISBN: 0934613451 (pbk.) :
M. Kaufmann Publishers, c1987. Q335 .R433 1987 University of Kyrenia 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
2
100% mathematical proof /
ISBN: 0471961981
Wiley, c1996. QA9.54 .G367 1996 NEU 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
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
Logic journal of the IGPL
Oxford University Press ; QA9.A1 L645 Online electronic
Not for loan
0
Symbolic logic and mechanical theorem proving /
ISBN: 0121703509
Academic Press, [1987], c1973. QA9 .C483 1987 NEU Grand Library[General Collection]
Available
11
MATLAB :
Symbolic Math Toolbox /
The Math Works İnc., QA9 .C54 NEU Grand Library[General Collection]
Available
0
Symbolic logic /
Middle East Technical University, 1972. QA9 .G78 1970 -
-
Quick search
Term:
Full phrase Any word

<<

<

3

4

5

>

>>

Results 21 - 30 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.