Cover Image

Non-standard logics for automated reasoning /

Bibliographic Details
Other Authors: Smets, Philippe
Format: Book
Language:English
Published: London ; San Diego : Academic Press, 1988.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Künstliche Intelligenz
Informatik
Symbolische logica.
Artificial intelligence.
Mathematical logic
Online Access:Table of contents
Table of contents
Inhaltstext
Description
Physical Description:x, 334 pages : illustrations ; 24 cm
Bibliography:Includes bibliographical references and index.
ISBN:0126495203
9780126495201