Normal view MARC view ISBD view

Circumscription - a sound and complete form of non-monotonic reasoning- M. P. Morreau

By:

Publication details: Amsterdam University Amsterdam 1985Description: 36 p 29 cm

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	III 27496 (Browse shelf(Opens below))	Available		0029813

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	III 27492 How to construct extensional combinatory algebras	III 27493 Primality testing using elliptic curves	III 27494 Generalized unramfied class field theory	III 27496 Circumscription - a sound and complete form of non-monotonic reasoning-	III 27497 Orthogonal Laurent polynomials	III 27498 Monadic n1- theory of complete orderings	III 27499 On the relation between connections and sprays	Next

There are no comments on this title.

to post a comment.