Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····nam##22·····5a#4500 |
001 | 000229 |
005 | 20130312122617.0 |
008 | 010724s2000####pl#a#####b####000#0#eng## |
245 | 10 | $a Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / $c Andrzej Biela. |
260 | ## | $a Katowice : $b Wydawn. Uniwersytetu Slaskiego, $c 2000. |
300 | ## | $a 121 p. ; $c 25 cm. |
440 | #0 | $a Prace naukowe Uniwersytetu Slaskiego w Katowicach, $x 0208-6336 ; $v nr. 1901 |
504 | ## | $a Includes bibliographical references (p. 113-[118]). |
510 | 4# | $a MR, $c 2002f:03013 |
020 | ## | $a 8322610238 |
100 | 1# | $a Biela, Andrzej. |
084 | ## | $a 03B35 (03-02 03B70 68-02 68T15) $2 msc2000 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com