Limit Search Results
Author
Suppes, Patrick, 1922-
(3)
Arruda, A. I. (Ayda Ignez)
(2)
Association for Symbolic Logic.
(2)
Chuaqui, R.
(2)
Costa, Newton C. A. da.
(2)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical -- Congresses.
(25)
Logic programming -- Congresses.
(9)
Logische Programmierung.
(6)
Science -- Philosophy -- Congresses.
(6)
Kongreß.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
48 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advances in modal logic
Advances in modal logic
Author 
Kracht, Marcus, ed.
Preferred Shelf Number 
BC 199.M6 A38 1998- V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
2. 
Cover image for Essays on Anscombe's Intention
Essays on Anscombe's Intention
Author 
Ford, Anton. Hornsby, Jennifer. Stoutland, Frederick.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.4159/harvard.9780674060913
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic Colloquium 2007
Logic Colloquium 2007
Author 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic Colloquium 2006
Logic Colloquium 2006
Author 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic Colloquium 2005
Logic Colloquium 2005
Author 
Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic, Thought and Language
Logic, Thought and Language
Author 
O'Hear, Anthony.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Paraconsistency the logical way to the inconsistent : proceedings of the world congress held in Sô Paulo
Paraconsistency the logical way to the inconsistent : proceedings of the world congress held in Sô Paulo
Author 
World Congress on Paraconsistency (2nd : 2000 : Sô Paulo, Brazil) Carnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo E., 1963- D'Ottaviano, Itala M. L., 1944-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA
FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA
Author 
ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.
Preferred Shelf Number 
TK 7895.G36 A36 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic programming proceedings of the 1999 International Conference on Logic Programming
Logic programming proceedings of the 1999 International Conference on Logic Programming
Author 
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)
Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)
Author 
Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.
Preferred Shelf Number 
BC 39.5.S7 M469 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
12. 
Cover image for Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Author 
International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action