
Formal Methods for Nonmonotonic and Related Logics
Karl Schlechta
₹6,633

by Karl Schlechta, Dov M. Gabbay
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009
Free delivery. Nothing extra to pay at checkout.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2009, Logical Tools for Handling Change in Agent-Based Systems by Karl Schlechta & Dov M. Gabbay runs to 305 pages. It belongs to the Cognitive Technologies series.
Topics covered include Symbolic and mathematical Logic, Computer science, Artificial intelligence and Logic.
About the author: Dov M. Gabbay (born 1945).