CIRM - Videos & books Library - Implementing mathematics with the nuprl proof development system

Ouvrage

Auteurs : Constable, R. L. (Secondaire) ; Allen, S. F. (Secondaire) ; Bromley, H.M. (Secondaire) ; Cleavland, W.R. (Secondaire)

Date de parution : 1986

Nbre/N° de page : 299 p.

ISBN : 978-0-13-451832-9

Cote : 00010160

Codes MSC : 68Nxx ; 68T15

intelligence artificielle # langage de programmation # langage informatique

Ville d'édition : Englewood Cliffs ; N.J.

Langue : Anglais

EAN13 : 9780134518329

ISBN : 0-13-451832-2

Collation : 23 cm#rel. ; Bibliogr. Pp. 262-291 ; Index

Localisation : Ouvrage RdC (Impl)

Code ACM : D.2 ; D.3

Type d'ouvrage : Anonyme

Disponibilité : empruntable

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00010160	[disponible]