Limit Search Results
Author
Voronkov, Andrei. editor.
(18)
Bonsangue, Marcello M. editor.
(11)
Boer, Frank S. editor.
(10)
Potapov, Igor. editor.
(9)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
2013
(203)
2011
(183)
2019
(164)
2012
(163)
2007
(153)
Subject
Computer science.
(1242)
Logic design.
(1118)
Software engineering.
(874)
Artificial intelligence.
(601)
Computer Communication Networks.
(294)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2011 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Author 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521191.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Author 
Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521192.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40875-5
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521245.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Author 
Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521257.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
Author 
Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45558-2
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Author 
Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521384.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26622-5
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for WAIC and WBIC with R Stan 100 Exercises for Building Logic
WAIC and WBIC with R Stan 100 Exercises for Building Logic
Author 
Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520717.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-3838-4
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Author 
Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520731.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7869-4
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Author 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520823.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers
Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers
Author 
Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520827.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25894-7
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Author 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520880.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Author 
Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521376.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49299-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action