Logic and the Organization of Information
1378570
|
Martin Frické
|
9781461430889 |
2012 |
Contains images
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
1431307
|
Martin Davis
Andrei Voronkov
Ansgar Fehnker
Annabelle Mciver
|
9783662488997 |
2015 |
Contains images
|
|
Logic in Computer Science
6429622
|
Jian Zhang
Hantao Zhang
|
9789819798162 |
2025 |
Contains images
|
|
Logic in Computer Science: Modelling and Reasoning about Systems
604584
|
Mark Ryan
Michael Huth
|
9781139636131 |
2004 |
Contains images
|
|
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science #12750)
5920189
|
Klaus-Dieter Schewe
Alexander Raschke
Elvinia Riccobene
|
9783030760205 |
2021 |
Contains images
|
|
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, 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
|
|