Search result
Automated Reasoning with Analytic Tableaux and Related Methods
English
01.01.2017
Paperback / Softback
Fr. 91.00
Unconventional Computation and Natural Computation
English
25.07.2012
Paperback / Softback
Fr. 65.00
Multidisciplinary Aspects of Time and Time Perception
English
30.06.2012
Paperback / Softback
Fr. 70.00
Mathematical Foundations of Computer Science 2012
English
12.07.2012
Paperback / Softback
Fr. 147.00
Natural Deduction, Hybrid Systems and Modal Logics
English
04.07.2012
Paperback / Softback
Fr. 261.00