Analysis and synthesis of logics : How to cut and paste reasoning systems.

Bibliographic Details
Format: Book
Online Access:Ver documento en línea
Description
ISBN:9781402067822