Limit Search Results
Author
SpringerLink (Online service)
(71)
Queiroz, Ruy. editor.
(7)
Project Muse.
(4)
de Queiroz, Ruy. editor.
(3)
Aloni, Maria. editor.
(2)
Publication Date
-
Subject
Computer science.
(18)
Artificial intelligence.
(17)
Language and logic.
(8)
Computer software.
(7)
Mathematical logic.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
97 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Author 
Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers
Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers
Author 
Cate, Balder D. editor. Zeevat, Henk W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Signs of logic Peircean themes on the philosophy of language, games, and communication
Signs of logic Peircean themes on the philosophy of language, games, and communication
Author 
Pietarinen, Ahti-Veikko. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3729-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Author 
Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521296.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33469-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520574.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520706.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action