Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Berlín, Alemania :
Springer,
1997, c1997
|
| Colección: | (Lecture Notes in Computer Science)
|
| Acceso en línea: | Ver documento en línea |
Ejemplares similares: Category Theory and Computer Science :
- Axiomatic Method and Category Theory /
- The Categories : On Interpretation : Prior Analytics /
- Analysis of Rare Categories /
- Categories for Software Engineering /
- Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
- Some of Kierkegaard's Main Categories /