Logical foundations of computer science proceedings

• Autor: Symposium on Logical Foundations of Computer Science (3. 1994 Ptersburg)
• Anil Nerode; Yu V Matiyasevich
• Assuntos: TEORIA DA COMPUTAÇÃO
• Notas Locais: Serie : lecture notes in computer science, 813
  
• Editor: Berlin Springer
  
• Data de criação/publicação: 1994
  
• Formato: 392 p.
  
• Idioma: Inglês