1
Published 2006
Springer New York
Subjects: ...Computer Science Logic and Foundations of Programming...

2
Published 2007
Springer Netherlands
Subjects: ...Computer Science Logic and Foundations of Programming...

3
Published 1994
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

4
Published 1999
Springer Netherlands
Subjects: ...Computer science / Mathematics...

5
Published 2000
Springer Netherlands
Subjects: ...Computer science...

6
Published 2000
Springer Netherlands
Subjects: ...Data structures (Computer science)...

7
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
Subjects: ...Computer science...

8
by Gabbay, Dov M., Schlechta, Karl
Published 2010
Springer Berlin Heidelberg
Subjects: ...Computer science...

9
Published 2014
Springer Netherlands
... to computer science and formal language and artificial intelligence. It shows how the increased demand...

10
by Gabbay, Dov M.
Published 2005
Oxford University Press
... and with significant meaning and applicability in all areas where logic is applied, especially computer science...

11
by Gabbay, Dov M.
Published 2003
Elsevier North Holland

12
by Gabbay, Dov M.
Published 2006
Elsevier North Holland
... in logic, history of logic, mathematics, history of mathematics, computer science and artificial...

13
Published 1986
Springer Netherlands
..., physics, computer science, philosophy, psychology, or linguistics. A number of other alternatives had...

14
by Gabbay, Dov M., Schlechta, Karl
Published 2011
Springer Berlin Heidelberg
... in logic and theoretical computer science...

15
by Benthem, Johan van
Published 2007
Amsterdam Univsity Press
...A collection of excellent research papers in logic, mathematics, computer science and game theory...

16
by Gabbay, Dov M., Olivetti, N.
Published 2000
Springer Netherlands
... in non-classical logics, the relevance of which to computer science is now widely acknowledged...

17
Published 2000
Springer Netherlands
... to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational...

18
Published 2004
Springer Netherlands
... logic was gaining ground in computer science and artificial intelligence circles. These areas were under...

19
Published 2001
Springer Netherlands
... logic was gaining ground in computer science and artificial intelligence cireles. These areas were under...

20
Published 2002
Springer Netherlands
... logic was gaining ground in computer science and artificial intelligence circles. These areas were under...