Besnard, Philippe
An introduction to default logic / Philippe Besnard. - Berlin - Heidelberg, DE : Springer-Verlag , cop. 1989 . - XI, 208 p. ; 25 cm. - (Symbolic computation) . Artificial intelligence
ISBN 0-387-51566-6
Inteligência artificial
Lógica
Programação em lógica
LCC Q335
An introduction to default logic / Philippe Besnard. - Berlin - Heidelberg, DE : Springer-Verlag , cop. 1989 . - XI, 208 p. ; 25 cm. - (Symbolic computation) . Artificial intelligence
ISBN 0-387-51566-6
Inteligência artificial
Lógica
Programação em lógica
LCC Q335