Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03B70 - Logic in computer science
Mostrando 1-13 de 13 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

Imagen de la tapa

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming"

Zohar Manna, Richard Waldinger.

Reading, Mass. : Addison-Wesley, ©1993.

Ubicación:

  • 68
    M282

Logic : a foundation for computer science

V. Sperschneider & G. Antoniou.

Wokingham, England : Addison-Wesley, ©1991.

Ubicación:

  • 03
    Sp751

Imagen de la tapa

Logic and information

Keith Devlin.

Cambridge [England] : Cambridge University Press, 1991.

Ubicación:

  • 68
    D497

Type theory and functional programming

Simon Thompson.

Wokingham, England : Addison-Wesley, ©1991.

Ubicación:

  • 68
    T468

Logic for computer science

Steve Reeves, Michael Clarke.

Wokingham, England : Addison-Wesley, ©1990.

Ubicación:

  • 03
    R332

Proceedings

fourth annual Symposium on Logic in Computer Science.

Washington, D.C. : IEEE Computer Society Press, ©1989.

Ubicación:

  • 68
    Sy989-4

Proceedings

third annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland ; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing.

Washington, D.C. : Computer Society Press, ©1988.

Ubicación:

  • 68
    Sy989-3

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)

Mathematics of information processing

Michael Anshel and William Gewirtz, editors.

Providence, R.I. : American Mathematical Society, ©1986.

Ubicación:

  • PSAM-34
    (Vieja ubicación)

Foundations of logic programming

J. W. Lloyd.

Berlin : Springer-Verlag, ©1984.

Ubicación:

  • 68
    L793

Bibandas : Algèbres de la logique dynamique. Foncteur Bool

André Charles Batbedat, Nilda Isabel Pratti.

Mar del Plata : Universidad Nacional de Mar del Plata, Facultad de Ciencias Exactas y Naturales, Departamento de Matemática, 1983.

Ubicación:

  • 16
    B328

Le dossier de la cybernétique : utopie ou science de demain dans le monde d'aujourd'hui?

[textes réalisés sous la supervision scientifique de Georges R. Boulanger].

Verviers [Bélgica] : Gérard, 1968.

Ubicación:

  • 68
    D724

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