Séminaire du laboratoire logique, algorithmique et informatique Clermont 1. Vol. V
1993-94
Gaillard, F. (Editor) ; Richard, D. (Editor)
Laboratoire Logique Algorithmique Informatique
1994
00017823
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
Publisher City : Clermont
Publisher country : France
Language : French
Collation : 266 p. ; 29 cm ; Bibliogr. ; broch.
Location : Salle de manutention
Conference type : Séminaire
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00017823 | [available] |