Theory Reasoning in Connection Calculi /
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlín, Alemania :
Springer,
1998, c1998
|
| Edice: | (Lecture Notes in Computer Science)
|
| On-line přístup: | Ver documento en línea |
Podobné jednotky: 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 Sociology of Community Connections /