algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'approximation infinitésimale # équation diophantienne

Ville d'édition : Clermont

Pays d'édition : France

Langue : Français

Collation : 266 p. ; 29 cm ; Bibliogr. ; broch.

Localisation : Salle de manutention

Code ACM : F.1.1 ; I.3

Type Congrès : Séminaire

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires