Limit Search Results
Author
SpringerLink (Online service)
(71)
Queiroz, Ruy. editor.
(7)
Project Muse.
(4)
de Queiroz, Ruy. editor.
(3)
Aloni, Maria. editor.
(2)
Language
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
98 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Author 
Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
Cover image for Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
Author 
Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520500.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36833-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Author 
Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520518.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets