m

F Nous contacter

0

Documents  68T37 | enregistrements trouvés : 5

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 359p.
ISBN 978-3-540-54659-7

Lecture notes in computer science , 0548

Localisation : Collection 1er étage

informatique # logique de programmation # algorithme de démonstrtion de problème # déduction # incertitude # logique modale # probabilités

00B25 ; 68-06 ; 68T15 ; 68N17 ; 68T37

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xii; 628 p.
ISBN 978-3-540-42242-6

Lecture notes in computer science , 0945

Localisation : Collection 1er étage

théorie de l'information # système expert # incertitude # intelligence artificielle

68Txx ; 97R40 ; 68Pxx ; 68P30 ; 68T37 ; 68T35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xix, 464 p.
ISBN 978-0-521-89560-6

Localisation : Ouvrage RdC (PEAR)

causalité # probabilités # modèles mathématiques # inférence

03B48 ; 68T20 ; 68-02 ; 68T30 ; 68T37

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x-232 p.
ISBN 978-0-8218-5327-6

Proceedings of symposia in applied mathematics , 0070

Localisation : Collection 1er étage

algèbre homologique # théorie ergodique # homologie

55-06 ; 68-06 ; 55-04 ; 55N30 ; 55N35 ; 55U05 ; 37D45 ; 37B30 ; 53C65 ; 68T37 ; 68W05 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... Lire [+]

Z