Cover Image
Read Now

1
Published 2006
Springer New York
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

2
Published 2007
Springer Netherlands
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

3
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

4
by Gabbay, Dov M., Schlechta, Karl
Published 2010
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

5
Published 2014
Springer Netherlands
“... to computer science and formal language and artificial intelligence. It shows how the increased demand...”
Cover Image
Read Now

6
by Gabbay, Dov M., Schlechta, Karl
Published 2011
Springer Berlin Heidelberg
“... in logic and theoretical computer science...”
Cover Image
Read Now

7
by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009
Springer Netherlands
“... deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book...”