Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
Nina Gierasimczuk
Out of stock
Format: Book (Paperback / softback)
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5
Emil L. Post
Download - Immediately Available
Format: eBook (PDF)
Problems and Theorems in Classical Set Theory
Peter Komjath
Download - Immediately Available
Format: eBook (PDF)
A Cp-Theory Problem Book : Special Features of Function Spaces
Vladimir V. Tkachuk
Out of stock
Format: Book (Hardback)
A Cp-Theory Problem Book : Special Features of Function Spaces
Vladimir V. Tkachuk
Download - Immediately Available
Format: eBook (PDF)
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Samson Abramsky
Download - Immediately Available
Format: eBook (PDF)
Model Theory of Fields : Lecture Notes in Logic 5, Second Edition
David Marker
Download - Immediately Available
Format: eBook (PDF)
Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings
Catherine Dubois
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£40.39
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketFormal Methods Teaching : 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings
Dubois Catherine Dubois
Out of stock
Format: Book (Paperback)
Algorithms and Complexity : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings
Rosella Petreschi
Download - Immediately Available
Format: eBook (PDF)
Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom Vincent van Oostrom
Out of stock
Format: Book (Paperback)
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Wiebe van der Hoek
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLogic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Wiebe van der Hoek
Download - Immediately Available
Format: eBook (PDF)
Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Mohua Banerjee
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£49.15
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLogic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Banerjee Mohua Banerjee
Out of stock
Format: Book (Paperback)
Developments in Language Theory : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
Werner Kuich
Download - Immediately Available
Format: eBook (PDF)
DNA Computing : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
Chengde Mao
Download - Immediately Available
Format: eBook (PDF)
Cellular Automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
Samira El Yacoubi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketCellular Automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
Samira El Yacoubi
Download - Immediately Available
Format: eBook (PDF)
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Enrico Giunchiglia
Download - Immediately Available
Format: eBook (PDF)