Nonmonotonic reasoning Grigoris Antoniou ; with contributions by Mary-Anne Williams

By:

Contributor(s):

Publication details: Cambridge, MA MIT Press c1997Description: xii, 285 p. : ill. ; 24 cm., : alk. paperISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 ANT (Browse shelf(Opens below))	Available		464540

Previous				No cover image available				Next
Previous	511.3 AMA Domains and lambda-calculi	511.3 AND Logic Colloquium 2004 : proceedings of the annual European summer meeting of the association for symbolic logic, held in Torino, Italy, July 25-31, 2004	511.3 AND Logic, meaning, and computation : essays in memory of Alonzo church	511.3 ANT Nonmonotonic reasoning	511.3 ANT Proof Techniques and Fundamental Concepts of Abstract Mathematics	511.3 ANT Proof Techniques and Fundamental Concepts of Abstract Mathematics	511.3 ARK Nonstandard analysis : theory and applications	Next

Includes bibliographical references (p. [277]-281) and index

There are no comments on this title.

to post a comment.

Find us on the map