formallo | Akateeminen Kirjakauppa

Reasoning Web. Declarative Artificial Intelligence : 16th International Summer School 2020, Oslo, Norway, June 24–26,

Manna, Marco; Pieris, Andreas
Springer
2020
Pehmeäkantinen kirja

51,10 €

Philosophie der Zeit

Muller, Thomas
Klostermann Vittorio GmbH
2007
Pehmeäkantinen kirja

45,20 €

Terror und Propaganda

Petersen, Christer
transcript Verlag
2025
Pehmeäkantinen kirja

31,40 €

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November

Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja

51,10 €

Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 201

Gabbrielli, Maurizio
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June

Janicki, Ryszard; Sidorova, Natalia; Chatain, Thomas
Springer
2020
Pehmeäkantinen kirja

51,10 €

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part

Lahiri, Shuvendu K.; Wang, Chao
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

41,20 €

Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020,

Pietarinen, Ahti-Veikko; Chapman, Peter; Bosveld-de Smet, Leonie; Giardino, Valeria; Corter, James; Linker, Sven
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

81,00 €

Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

Gutiérrez-Basulto, Víctor; Kliegr, Tomáš; Soylu, Ahmet; Giese, Martin; Roman, Dumitru
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium,

Simonis, Helmut
Springer
2020
Pehmeäkantinen kirja

137,30 €

Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Pro

Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Monotonicity in Logic and Language - Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beiji

Deng, Dun; Liu, Fenrong; Liu, Mingming; Westerståhl, Dag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2020
Pehmeäkantinen kirja

71,10 €

Transactions on Rough Sets XXII

Peters, James F.; Skowron, Andrzej
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2020
Pehmeäkantinen kirja

51,10 €

Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020,

Lin, Shang-Wei; Hou, Zhe; Mahony, Brendan
Springer
2020
Pehmeäkantinen kirja

51,10 €

Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020

Bassiliades, Nick; Chalkiadakis, Georgios; de Jonge, Dave
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

51,10 €

Chatbot Research and Design - 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selec

Følstad, Asbjørn; Araujo, Theo; Papadopoulos, Symeon; Law, Effie L.-C.; Luger, Ewa; Goodwin, Morten; Brandtzaeg, Petter Bae
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

51,10 €

Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event,

Cochez, Michael; Croitoru, Madalina; Marquis, Pierre; Rudolph, Sebastian
Springer
2021
Pehmeäkantinen kirja

41,20 €