Inicio > > Ciencias de la computación > Computer Science Logic
Computer Science Logic

Computer Science Logic

Zoltán Ésik

132,23 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2006
Materia
Ciencias de la computación
ISBN:
9783540454588
132,23 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Artículos relacionados

Otros libros del autor

  • Fundamentals of Computation Theory
    Zoltan Esik
    This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata and formal languages - Compu...
    Disponible

    65,36 €