1
Published 2019
Springer International Publishing
Subjects: '; ...Computer logic...

2
Published 2015
Springer International Publishing
Subjects: '; ...Computer logic...

3
Published 2014
Springer Netherlands
Subjects: '; ...Computer logic...

4
Published 2015
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

5
Published 2016
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

6
by Roscoe, A.W.
Published 2010
Springer London
Subjects: '; ...Computer logic...

7
by Dowek, Gilles, Lévy, Jean-Jacques
Published 2011
Springer London
Subjects: '; ...Computer logic...

8
Published 2013
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

9
Published 2013
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

10
by Derrick, John, Boiten, Eerke
Published 2018
Springer International Publishing
Subjects: '; ...Computer logic...

11
Published 2014
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

12
by Kleuker, Stephan
Published 2009
Vieweg+Teubner Verlag
Subjects: '; ...Computer logic...

13
Published 2012
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

14
Published 2013
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

15 Subjects: '; ...Computer logic...

16
Published 2013
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

17
by Ceccherini-Silberstein, Tullio, Coornaert, Michel
Published 2010
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

18
by Granström, Johan Georg
Published 2011
Springer Netherlands
Subjects: '; ...Computer logic...

19
Published 2013
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

20
Published 2013
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...