Decidability | Booky.fi

Reachability Problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings

Ganty, Pierre; Mansutti, Alessio
Springer
2025
Pehmeäkantinen kirja

79,50 €

Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015

de Paiva, Valeria; de Queiroz, Ruy; Moss, Lawrence S.; Leivant, Daniel; de Oliveira, Anjolina G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

41,20 €

Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015,

Zhang, Songmao; Wirsing, Martin; Zhang, Zili
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016

Yang, Syraya Chin-Mu; Lee, Kok Yong; Ono, Hiroakira
Springer
2017
Kovakantinen kirja

137,30 €

A New Logical Foundation for Psychology

Mammen, Jens
Springer International Publishing AG
2017
Pehmeäkantinen kirja

56,10 €

Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi

Indrzejczak, Andrzej
Birkhäuser
2020
Kovakantinen kirja

66,10 €

Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

ten Cate, Balder; Mileo, Alessandra
Springer International Publishing AG
2015
Pehmeäkantinen kirja

41,20 €

Larisa Maksimova on Implication, Interpolation, and Definability

Odintsov, Sergei
Springer
2018
Kovakantinen kirja

51,10 €

Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity

Skrzypczak, Michał
Springer
2016
Pehmeäkantinen kirja

51,10 €

Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium,

Baetens, Jan M.; Kutrib, Martin
Springer
2018
Pehmeäkantinen kirja

51,10 €