Limit Search Results
Author
SpringerLink (Online service)
(128)
Queiroz, Ruy. editor.
(7)
Bekki, Daisuke. editor.
(4)
Project Muse.
(4)
de Queiroz, Ruy. editor.
(4)
Language
English
(177)
Publication Date
-
Subject
Artificial intelligence.
(43)
Computer science.
(36)
Formal Languages and Automata Theory.
(17)
Machine theory.
(17)
Computational intelligence.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
178 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Language, logic, and concepts : Essays in memory of John Macnamara
Language, logic, and concepts : Essays in memory of John Macnamara
Author 
Macnamara, John Theodore. Jackendoff, Ray, 1945- ed. Bloom, Paul, 1963- ed. Wynn, Karen, ed.
Preferred Shelf Number 
BF 201 L36 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Lies language and logic in the late Middle Ages
Lies language and logic in the late Middle Ages
Author 
Spade, Paul Vincent.
Preferred Shelf Number 
BC 34.S11 L54 1988
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
3. 
Cover image for Foundations of logico-linquistics : a unified theory of information, language, and logic
Foundations of logico-linquistics : a unified theory of information, language, and logic
Author 
Cooper, William S.
Preferred Shelf Number 
P 39 C68 1978
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Author 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Intelligent Computing and Networking Proceedings of IC-ICN 2024
Intelligent Computing and Networking Proceedings of IC-ICN 2024
Author 
Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8631-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Maths For Computing A Beginner's Guide
Maths For Computing A Beginner's Guide
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Author 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Artificial Intelligence and Machine Learning Techniques in Engineering and Management
Artificial Intelligence and Machine Learning Techniques in Engineering and Management
Author 
Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2621-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
Author 
Roy, Shirshendu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41085-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic Circuit Design Selected Topics and Methods
Logic Circuit Design Selected Topics and Methods
Author 
Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action