m

F Nous contacter

0

Documents  Calmet, Jacques | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- 301 p.
ISBN 978-3-540-11607-3

Lecture notes in computer science , 0144

Localisation : Collection 1er étage

algorithme # algèbre informatique # application # règle de réécriture # structure algébrique # système # type de données abstraites

68-06 ; 68Q42 ; 68Q65 ; 68Qxx

... Lire [+]

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

- 301 p.
ISBN 978-3-540-11607-3

Lecture notes in computer science , 0144

Localisation : Collection 1er étage

calcul symbolique algébrique # complexité de calcul

68Q25 ; 68Q40

... Lire [+]

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

- 416 p.
ISBN 978-3-540-16776-1

Lecture notes in computer science , 0229

Localisation : Collection 1er étage

algèbre # algorithme algébrique # codes correcteurs # théorie de l'information

68Q40 ; 94Bxx

... Lire [+]

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

- 275 p.
ISBN 978-3-540-60156-2

Lecture notes in computer science , 0958

Localisation : Collection 1er étage

2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve 2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...

38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15

... Lire [+]

Z