Found 6,632 results for "Computer logic"
by Ulrich Berger, Helmut Schwichtenberg
The aim of this chapter is to give an introduction to some recent work on the application of game semantics to the study...