|
|
|
|
| LEADER |
01337nam a22003135a 4500 |
| 001 |
23923 |
| 003 |
AR-SrUBC |
| 005 |
20210617165309.0 |
| 007 |
t||||||||||||| |
| 008 |
120104m|||||||||||#||||r|||||||||||spa|| |
| 020 |
|
|
|a 2287004165
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 519.71=40
|
| 080 |
|
|
|a 510.5=40
|2 2000 ES
|
| 100 |
1 |
|
|a Dehornoy, Patrick.
|9 45738
|
| 245 |
1 |
0 |
|a Complexité et décidabilité.
|c Patrick Dehornoy.
|
| 260 |
|
|
|a Paris :
|b Springer-Verlag,
|c 1993.
|
| 300 |
|
|
|a 200 p. ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Mathématiques & applications
|v 12
|
| 505 |
0 |
0 |
|a Contenido: Algorithmes et machines de turing -- Simulation d'algorithmes -- Changement de représentation -- Fronctions récursives -- machines universelles -- Machines non déterministes -- Complexité du calcul booléen -- Complexité des logiques du premier ordre -- Complexité d'arithmétique -- Complexité de l'addition des entiers.
|
| 650 |
|
7 |
|a FUNCIONES RECURSIVAS
|2 lemb3
|9 45739
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb3
|9 45740
|
| 650 |
|
7 |
|a TEORIA DE LAS MAQUINAS
|2 lemb3
|9 40397
|
| 650 |
|
7 |
|a ALGORITMOS
|2 lemb3
|9 2773
|
| 942 |
|
|
|2 cdu
|a UNLPam.LUFEXA.Lubomirsky
|b 2012-01-04
|c BK
|d 025748
|h 519.71=40
|i DEHc
|z NO
|6 5197140_DEHC
|
| 999 |
|
|
|c 23923
|d 23923
|