Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 000229
 
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

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

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

Enlaces surtidos