The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer ...
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Dov M. Gabbay
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Markus Dubber, Frank Pasquale, Sunit Das
Paolo Mancosu, Massimo Mugnai
Kai R. Larsen, Daniel S. Becker
Wilfried Sieg
Kai R. Larsen, Daniel S. Becker
Michael D. Resnik
Elyakim Kislev
Giovanni Sambin, Jan M. Smith
Stephen Grossberg
John P. Burgess
Simone Natale
Agustín Rayo
Science & Mathematics > Computer Science > Artificial Intelligence
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer ...
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Dov M. Gabbay
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Markus Dubber, Frank Pasquale, Sunit Das
Paolo Mancosu, Massimo Mugnai
Kai R. Larsen, Daniel S. Becker
Wilfried Sieg
Kai R. Larsen, Daniel S. Becker
Michael D. Resnik
Elyakim Kislev
Giovanni Sambin, Jan M. Smith
Stephen Grossberg
John P. Burgess
Simone Natale
Agustín Rayo
Science & Mathematics > Computer Science > Artificial Intelligence
Oxford University Press is a department of the University of Oxford. It furthers the University's objective of excellence in research, scholarship, and education by publishing worldwide.
