Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03B35 - Mechanization of proofs and logical operations
Mostrando 1-10 de 10 resultados, ordenados por

Imagen de la tapa

Unification types in logic

Wojciech Dzik.

Katowice : Wydawnictwo Uniwersytetu Slaskiego, 2007.

Ubicación:

  • 03
    D999

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

Andrzej Biela.

Katowice : Wydawn. Uniwersytetu Slaskiego, 2000.

Ubicación:

  • 03
    B587

Logical foundations of artificial intelligence

Michael R. Genesereth and Nils J. Nilsson.

Los Altos, Calif. : Morgan Kaufmann, ©1987.

Ubicación:

  • A-6293
    (Vieja ubicación)

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

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

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

Paris : Dunod, 1970.

Ubicación:

  • 03
    Ar752

L'étonnante histoire des machines logiques

par Martin Gardner ; traduit par Mary Ghezzi.

Paris : Dunod, 1964.

Ubicación:

  • 03
    G226

Sur la demonstration automatique

par Claude Picard.

[Paris?] : Centre National de la Recherche Scientifique : Institut Blaise Pascal, Laboratoire de calcul numérique, 1963.

Ubicación:

  • 03
    P586

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Evert W. Beth.

Dordrecht, Holland : D. Reidel, ©1962.

Ubicación:

  • 03
    B562f

La logique mathématique et le calcul mécanique

por Jean Porte.

Bahía Blanca : Instituto de Matemática, Universidad Nacional del Sur, 1960.

Ubicación:

  • 03
    P843

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