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
|
|
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings (Lecture Notes in Computer Science #11972)
3003698
|
Sergei Artemov
Anil Nerode
|
9783030367558 |
2020 |
Contains images
|
|
Logical Foundations of Mathematics and Computational Complexity
665492
|
Pavel Pudlák
|
9783319001197 |
2013 |
Contains images
|
|
Logical Investigative Methods: Critical Thinking and Reasoning for Successful Investigations
5912787
|
Robert J. Girod
|
9781040083680 |
2015 |
Contains images
|
|
Logiciel de Rootage pour Kindle, Application, Outil: guide d’astuces pour une utilisation optimale de Kindle Fire
3670251
|
Larry Alison
|
9781071569269 |
2020 |
Contains images
|
|
Logics and Falsifications
1370283
|
Andreas Kapsner
|
9783319052069 |
2014 |
Contains images
|
|
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday (Lecture Notes in Computer Science #14560)
6035209
|
Freek Wiedijk
Venanzio Capretta
Robbert Krebbers
|
9783031617164 |
2024 |
Contains images
|
|
Logics for Computer Science: Classical And Non-classical
2572479
|
Anita Wasilewska
|
9783319925912 |
2018 |
Contains images
|
|
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence #992)
4393663
|
Lech T. Polkowski
|
9783030916800 |
2022 |
Contains images
|
|
Logics in Artificial Intelligence
1532188
|
Loizos Michael
Antonis Kakas
|
9783319487588 |
2016 |
Contains images
|
|
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11468)
2564229
|
Francesco Calimeri
Nicola Leone
Marco Manna
|
9783030195700 |
2019 |
Contains images
|
|
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings (Lecture Notes in Computer Science #12678)
4050060
|
Gerhard Friedrich
Wolfgang Faber
Martin Gebser
Michael Morak
|
9783030757755 |
2021 |
Contains images
|
|
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14281)
5685666
|
Maria Vanina Martinez
Magdalena Ortiz
Sarah Gaggl
|
9783031436192 |
2023 |
Contains images
|
|
Logics in Artificial Intelligence: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I (Lecture Notes in Computer Science #16093)
6750420
|
Temur Kutsia
Besik Dundua
Giovanni Casini
|
9783032045874 |
2026 |
Contains images
|
|
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
1400290
|
Fabio Mogavero
|
9789491216954 |
2013 |
Contains images
|
|
Logik für die Informatik: Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
6697524
|
Markus Junker
|
9783662708255 |
2025 |
Contains images
|
|
Logistic Core Operations with SAP: Inventory Management, Warehousing, Transportation, and Compliance
1421272
|
Bernd Lauterbach
Jens Kappauf
Matthias Koch
|
9783642182020 |
2012 |
Contains images
|
|
Logistic Core Operations with SAP: Procurement, Production and Distribution Logistics
1428380
|
Bernd Lauterbach
Jens Kappauf
Matthias Koch
|
9783642182044 |
2011 |
Contains images
|
|