Skip to content
Universidad Nacional de Córdoba
U.N.C.
Catálogo colectivo
Advanced
Page will reload when a filter is removed. Reset Filters
Applied Filters:
Suggested Topics: Remove Filter JUICIOS RAPIDOS
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Suggested Topics: Remove Filter JUICIOS RAPIDOS

El Catálogo Colectivo reúne los registros del material que posee cada una de las bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad. Se encuentra disponible para toda la comunidad académica: estudiantes, docentes, egresados e investigadores. Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material, a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario, independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra que dictes.

Fuentes de datos

Koha
  • Facultad de Ciencias Agropecuarias
  • Facultad de Ciencias Económicas
  • Facultad de Lenguas
  • Escuela de Nutrición (FCM)
  • Facultad de Arquitectura, Urbanismo y Diseño
  • Facultad de Artes
  • Facultad de Ciencias Exactas, Físicas y Naturales
  • Biblioteca Mayor
  • Observatorio Astronómico de Córdoba
  • Centros de Estudios Avanzados
  • Facultad de Matemáticas, Astronomía, Física y Computación
  • Facultad de Medicina
  • Facultad de Odontología
  • Facultad de Comunicación
  • Facultad de Filosofía y Humanidades y Facultad de Psicología
  • Escuela Superior de Comercio Manuel Belgrano
  • Colegio Nacional de Monserrat
  • Facultad de Ciencias Químicas
  • Facultad de Ciencias Sociales
  • Facultad de Derecho
  • José Aricó
  • Museo de Antropología
  • Escuela de Salud Pública y Ambiente de la FCM
Otros
  • Repositorio Digital Universitario
  • Revistas de la Universidad Nacional de Córdoba
  • Foundations of software techno...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Export Ready — 
Foundations of software technology and theoretical computer science /

Foundations of software technology and theoretical computer science /

Bibliographic Details
Corporate Author: Conference on Foundations of Software Technology and Theoretical Computer Science Bangalore, India
Other Authors: Thiagarajan, Pazhamaneri S. (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1995.
Series:Lecture notes in computer science ; v. 1026
LNCS ; v. 1026
Subjects:
Computación mediante dispositivos abstractos.
Computation by abstract devices.
Deducción y prueba de teoremas.
Deduction and theorem proving.
Geometría computacional y modelado de objetos.
Computational geometry and object modeling.
Análisis de algoritmos y problemas de complejidad.
Analysis of algorithms and problem complexity.
Lógica y significado de programas.
Logics and meanings of programs.
Lógica matemática.
Lenguajes formales.
Mathematical logic.
Formal languages.
Teoría de grafos.
Graph theory.
  • Holdings
  • Description
  • Similar Items
  • Staff View
Place a Title Level Request

Holdings details from
Copy Available Place a Hold

Similar Items

  • Foundations of software technology and theoretical computer science /
    Published: (1996)
  • Theorem proving with analytic tableaux and related methods /
    Published: (1996)
  • Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /
    Published: (1997)
  • Automated deduction in equational logic and cubic curves /
    by: McCune, William, 1953-
    Published: (1996)
  • Non-monotonic extensions of logic programming /
    Published: (1997)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs