Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings (Lecture Notes in Computer Science #14672)
6094488
|
Thomas Studer
Ruy De Queiroz
George Metcalfe
|
9783031626876 |
2024 |
Contains images
|
|
Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings (Lecture Notes in Computer Science #15942)
6746585
|
Ruy De Queiroz
Dexter Kozen
|
9783031995361 |
2026 |
Contains images
|
|
Logic, Language, and Computation
1417952
|
Martin Aher
Daniel Hole
Emil Jeřábek
Clemens Kupke
|
9783662469064 |
2015 |
Contains images
|
|
Logic, Language, and Computation
1535803
|
Henk Zeevat
Helle Hvid Hansen
Sarah E. Murray
Mehrnoosh Sadrzadeh
|
9783662543320 |
2017 |
Contains images
|
|
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #12300)
3700684
|
Carolyn Talcott
Vivek Nigam
Tajana Ban Kirigin
Joshua Guttman
Stepan Kuznetsov
Boon Thau Loo
Mitsuhiro Okada
|
9783030620776 |
2020 |
Contains images
|
|
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings (Lecture Notes in Computer Science #11813)
2959011
|
Patrick Blackburn
Emiliano Lorini
Meiyun Guo
|
9783662602928 |
2019 |
Contains images
|
|
Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings (Lecture Notes in Computer Science #14329)
5737804
|
Andreas Herzig
Natasha Alechina
Fei Liang
|
9783031455582 |
2023 |
Contains images
|
|
Logic, Rewriting, and Concurrency
1518328
|
Peter Csaba Ölveczky
Narciso Martí-Oliet
Carolyn Talcott
|
9783319231655 |
2015 |
Contains images
|
|
Logic, Syntax, and a Structural View: The Psychology of Trump's Hall of Mirrors
3754901
|
Harwood Fisher
|
9783030608811 |
2020 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation
1415027
|
Maurizio Proietti
Hirohisa Seki
|
9783319178226 |
2015 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation
1615338
|
Moreno Falaschi
|
9783319274362 |
2015 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10855)
2118752
|
John P. Gallagher
Fabio Fioravanti
|
9783319944609 |
2018 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11408)
2532813
|
Fred Mesnard
Peter J. Stuckey
|
9783030138387 |
2019 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12042)
3314421
|
Maurizio Gabbrielli
|
9783030452605 |
2020 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Lecture Notes in Computer Science #12561)
3903760
|
Maribel Fernández
|
9783030684464 |
2021 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science #13474)
4859661
|
Alicia Villanueva
|
9783031167676 |
2022 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science #14330)
5724174
|
Robert Glück
Bishoksan Kafle
|
9783031457845 |
2023 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science #14919)
6206473
|
Juliana Bowles
Harald Søndergaard
|
9783031712944 |
2024 |
Contains images
|
|
Logic-Driven Traffic Big Data Analytics: Methodology and Applications for Planning
4539548
|
Shaopeng Zhong
Daniel (Jian) Sun
|
9789811680168 |
2022 |
Contains images
|
|
Logic: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence” (Intelligent Systems Reference Library #245)
5708301
|
Lech T. Polkowski
|
9783031420344 |
2023 |
Contains images
|
|
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
1535608
|
Sylvain Pogodalla
Maxime Amblard
Philippe Groote
Christian Retoré
|
9783662538265 |
2016 |
Contains images
|
|
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL: 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Lecture Notes in Computer Science #10054)
5920760
|
Sylvain Pogodalla
Maxime Amblard
Christian Retoré
Philippe De Groote
|
9783662538265 |
2016 |
Contains images
|
|
Logical Database Design Principles (Foundations Of Database Design Ser.)
3352588
|
Jeff Walker
Terry Clark
John Garmany
|
9781135496593 |
2005 |
Contains images
|
|
Logical Foundations of Computer Science
1615351
|
Sergei Artemov
Anil Nerode
|
9783319276830 |
2016 |
Contains images
|
|
Logical Foundations of Computer Science
1834853
|
Sergei Artemov
Anil Nerode
|
9783319720562 |
2007 |
Contains images
|
|