Theory Reasoning in Connection Calculi /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Berlín, Alemania :
Springer,
1998, c1998
|
| Colección: | (Lecture Notes in Computer Science)
|
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Theory Reasoning in Connection Calculi /
- Algorithimic Languages and Calculi /
- Mobility in Process Calculi and Natural Computing /
- Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
- Connectivity and Superconductivity /
- Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /
- The Connection /