Logic, Language, Information, and Computation
1403711
|
Valeria De Paiva
Ruy De Queiroz
Lawrence S. Moss
Daniel Leivant
Anjolina G. de Oliveira
|
9783662477090 |
2015 |
Contains images
|
|
Logic, Language, Information, and Computation
1427134
|
Jouko Väänänen
Ruy De Queiroz
Åsa Hirvonen
|
9783662529218 |
2010 |
Contains images
|
|
Logic, Language, Information, and Computation
1664498
|
Juliette Kennedy
Ruy J. G. B. Queiroz
|
9783662553862 |
2014 |
Contains images
|
|
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science #10944)
2126886
|
Ruy De Queiroz
Lawrence S. Moss
Maricarmen Martinez
|
9783662576694 |
2018 |
Contains images
|
|
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings (Lecture Notes in Computer Science #11541)
2981677
|
Ruy De Queiroz
Rosalie Iemhoff
Michael Moortgat
|
9783662595336 |
2019 |
Contains images
|
|
Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings (Lecture Notes in Computer Science #13468)
4856849
|
Agata Ciabattoni
Elaine Pimentel
Ruy J. G. B. de Queiroz
|
9783031152986 |
2022 |
Contains images
|
|
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, 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
|
|