REBIUN - ODA

Descripción del título

Computer Science Logic [23r...

Computer Science Logic [23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Grdel, Erich

Springer Berlin Heidelberg 2009

This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science

Ver

Computer science Coding theory Logic design Algebra- Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Coding and Information Theory Mathematics of Computing

Monografía

monografia Rebiun05743980 https://catalogo.rebiun.org/rebiun/record/Rebiun05743980 100301s2009 gw | s |||| 0|eng d 9783642040276 978-3-642-04027-6 9783642040269 ed. impresa) UPNA0456082 UIB 466169127 UMO 87568 UMA.RE Grdel, Erich Computer Science Logic Recurso electrónico] 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings edited by Erich Grdel, Reinhard Kahle Servicio en línea Berlin, Heidelberg Springer Berlin Heidelberg 2009 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg digital Lecture Notes in Computer Science 0302-9743 5771 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science Modo de acceso: World Wide Web Springer (CS) Computer science Coding theory Logic design Algebra- Data processing Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Coding and Information Theory Mathematics of Computing Kahle, Reinhard SpringerLink (Online service) Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Springer eBooks Springer eBooks

• Localizaciones: 3
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun05743980

Cerrar

monografia Rebiun05743980 https://catalogo.rebiun.org/rebiun/record/Rebiun05743980 100301s2009 gw | s |||| 0|eng d 9783642040276 978-3-642-04027-6 9783642040269 ed. impresa) UPNA0456082 UIB 466169127 UMO 87568 UMA.RE Grdel, Erich Computer Science Logic Recurso electrónico] 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings edited by Erich Grdel, Reinhard Kahle Servicio en línea Berlin, Heidelberg Springer Berlin Heidelberg 2009 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg digital Lecture Notes in Computer Science 0302-9743 5771 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science Modo de acceso: World Wide Web Springer (CS) Computer science Coding theory Logic design Algebra- Data processing Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Coding and Information Theory Mathematics of Computing Kahle, Reinhard SpringerLink (Online service) Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Springer eBooks Springer eBooks