Skip to content

UAM Iztapalapa 50 años

Login
  • 0 items (Full)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Language
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Advanced
  • Logic and automata :
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Add to Book Bag Remove from Book Bag
  • Permanent link
Loading…
Preview
Preview
Preview

Logic and automata : history and perspectives /

Show other versions (2)

This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field.

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Flum, Jörg, Grädel, Erich, 1958-, Wilke, Thomas, 1965-
Format: Electronic eBook
Language:Inglés
Published: Amsterdam : Amsterdam University Press, ©2008.
Series:Texts in logic and games ; v. 2.
Subjects:
Computer science > Mathematics.
Logic, Symbolic and mathematical.
Game theory.
Computational complexity.
Machine theory.
Informatique > Mathématiques.
Logique symbolique et mathématique.
Théorie des jeux.
Complexité de calcul (Informatique)
Théorie des automates.
Mathematics and science.
Science: general issues.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
COMPUTERS > General.
Machine theory
Computational complexity
Computer science > Mathematics
Game theory
Logic, Symbolic and mathematical
Online Access:Texto completo
  • Holdings
  • Description
  • Table of Contents
  • Other Versions (2)
  • Similar Items
  • Staff View

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items

  • Logic and automata : history and perspectives /
    Published: (2008)
  • Logic and automata : history and perspectives /
    Published: (2008)
  • Logical foundations of proof complexity /
    by: Cook, Stephen, 1948-
    Published: (2010)
  • Logical Foundations of Proof Complexity.
    by: Cook, Stephen, 1948-
    Published: (2010)
  • Modern applications of automata theory /
    Published: (2012)

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Search History
  • Catálogo Anterior

¿Necesitas ayuda?

  • Search Tips
  • Ask a Librarian
  • FAQs

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.

Cannot write session to /tmp/vufind_sessions/sess_2j6v6bg3us26dj31fi69a7fmor