Limit Search Results
Author
SpringerLink (Online service)
(6)
Sebeok, Thomas A., contributor.
(2)
Wiley InterScience (Online service)
(2)
Abas, Lutfi, contributor.
(1)
Adamowicz, Zofia.
(1)
Language
Publication Date
-
Subject
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(4)
Artificial intelligence.
(2)
Computational intelligence.
(2)
Engineering mathematics.
(2)
Logic, Modern.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
24 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic and philosophy : a modern introduction
Logic and philosophy : a modern introduction
Author 
Kahane, Howard, 1928-
Preferred Shelf Number 
BC 108 K3 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for The logic of modern physics
The logic of modern physics
Author 
Brigman, Percy Williams, 1882-
Preferred Shelf Number 
QC 6 B68 1960
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for The rise of modern logic from Leibniz to Frege
The rise of modern logic from Leibniz to Frege
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Kantian reason and Hegelian spirit the idealistic logic of modern theology
Kantian reason and Hegelian spirit the idealistic logic of modern theology
Author 
Dorrien, Gary J. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Author 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic of mathematics a modern course of classical logic
Logic of mathematics a modern course of classical logic
Author 
Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin.
Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin.
Author 
Martin, Wallace., ed.
Preferred Shelf Number 
PN 45 L317 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Author 
Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Author 
Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23636-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Mantık
Mantık
Author 
Priest, Graham. Yolsal, Ümit Hüsrev, translator. Yıldırım, Rojda, preparer.
Preferred Shelf Number 
BC71 P7519 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
12. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Author 
Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-7236-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets