Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    68T15 - Theorem proving (deduction, resolution, etc.)
Mostrando 1-5 de 5 resultados, ordenados por

Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories

Andrzej Biela.

Katowice : Wydawn. Uniwersytetu Slaskiego, 2000.

Ubicación:

  • 03
    B587

Foundations of logic programming

J. W. Lloyd.

Berlin : Springer-Verlag, ©1984.

Ubicación:

  • 68
    L793

Symbolic logic and mechanical theorem proving

Chin-liang Chang, Richard Char-Tung Lee.

New York : Academic Press, ©1973.

Ubicación:

  • 03
    C4565
  • Ej. 2:
    03
    C4565

AUTOMATH : a language for mathematics

par Nicolaas Govert de Bruijn.

Montréal : Presses de l'Université de Montréal, 1973.

Ubicación:

  • 68
    B892

Les mathématiques à la portée de l'ordinateur

par André Arnold ; préface de J. Kuntzmann.

Paris : Dunod, 1970.

Ubicación:

  • 03
    Ar752

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