|
|
|
|
LEADER |
00818cam a22002297i 4500 |
001 |
007366 |
003 |
armpun |
005 |
20240403130424.0 |
008 |
100819s1989####xx#a##########000#0#und#d |
040 |
|
|
|a armpun
|c armpun
|
080 |
|
|
|a 519.6
|
100 |
1 |
0 |
|a Coniglio, Marcelo
|9 15591
|
245 |
1 |
0 |
|a Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /
|c Marcelo Coniglio
|
264 |
|
1 |
|a Mar del Plata :
|b Universidad Nacional. Facultad de Ciencias Exactas y Naturales,
|c 1989
|
300 |
|
|
|a 1 v. (varias paginaciones)
|
650 |
|
0 |
|a Cálculo
|9 5276
|
650 |
|
7 |
|a ciencias exactas
|x becas
|2 LEMB
|9 6897
|
650 |
|
7 |
|a matematicas
|2 LEMB
|9 316
|
650 |
|
7 |
|a programacion [matematicas]
|2 LEMB
|9 9910
|
942 |
|
|
|c TG
|2 cdu
|
945 |
|
|
|a Lryt
|d María Elena de la Cal
|c 1796
|
999 |
|
|
|c 7125
|d 199516
|