m
MathOuvrage

H 0 Ontic: a knowledge representation system for mathematics

McAllester, David A.

The MIT press

1989

xvi, 158 p. ; 24 cm

9780262132350

46153

preuve automatique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 46153 1037621 GALERIE

ISBN10 : 0-262-13235-4

Type de doc : M

Ville d'édition : Cambridge MA

Pays d'édition : us

Langue ouvrage : eng

Collection : The MIT press series in artificial intelligence

Bibliographie : Bibliogr. p. 151-155

Class. Math. 2000 : 68T15 ; 00A69 ; 03B35

Class. Library : QA76.9.A96M37

N° LCCCN : 88-8090

Class. Dewey : 510'.28'563

Lien SUDOC : https://www.sudoc.fr/099286122

Z