Normal view MARC view ISBD view

Theo: an interactive proof development system Joelle Despeyroux

By:

Series: Rapports techniques. 887 Publication details: Paris I. N. R. I. A 1988Description: 12 p 27 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 30862 (Browse shelf(Opens below))	Available		0026419

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 30859 A grammatical view of logic programming	III 30860 Towards a lambda-calculus for concurrent and communicating systems	III 30861 An empirically-derived control structure for the process of program understanding	III 30862 Theo: an interactive proof development system	III 30863 The first cycles in an evolving graph	III 30864 A criterion of global convergence to equilibrium for differential systems application to Lotka-Volterra Systems Programme 5	III 30865 Optimisation de forme d'une coque mince elastique sous differents criteres part. I Formulation continue des problemes	Next

Contine bibliografie

There are no comments on this title.

to post a comment.