Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
| Outros autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin
Springer
c1995.
|
| Series: | Lecture notes in computer science
960 |
| Subjects: |