Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

• Autor: Workshop on Computer Science Logic (13th 1999 Madrid, Spain)
• Jörg Flum; M Rodríguez Artalejo (Mario); European Association for Computer Science Logic Conference Madrid, Spain) 1999
• Assuntos: Computer logic -- Congresses; LÓGICA MATEMÁTICA; LINGUAGENS FORMAIS
• Notas: Includes bibliographical references and index
  
• Títulos relacionados: Série: Lecture notes in computer science 1683
• Editor: Berlin New York Springer
  
• Data de criação/publicação: c1999
  
• Formato: xi, 580 p. ill. 23 cm.
  
• Idioma: Inglês