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

2
by Dowek, Gilles
Published 2009
Springer London
Subjects: '; ...Computer logic...