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

Internet

Table of contents
Table of contents
Inhaltstext

Remote Storage

Holdings details from Remote Storage
Call Number: BC135 .N66 1988
 
Call Number Status Get It
BC135 .N66 1988 Available