Su búsqueda obtuvo 2 resultados.

Ordenar
Resultados
Graph theory : an algorithmic approach / Nicos Christofides

por Christofides, Nicos.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York ; London : Academic Press, 1975Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 51917/CHR/gra.

Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee

por Chang, Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Diego [etc.] : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/CHA/sym. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/CHA/sym.

Páginas

Con tecnología Koha