Search alternatives:
games » names
Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... and nonmonotonicity in logic programming -- The Ehrenfeucht-Fraïssé games for transitive closure -- Feasibility...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in Orthogonal Expression Reduction Systems -- The notion of rank and games -- A predicate logic of well-founded...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Nordic Countries -- Computing and Computer Science in the Soviet Baltic Region -- Working with History...”