Theory Reasoning in Connection Calculi /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | angleščina |
| Izdano: |
Berlín, Alemania :
Springer,
1998, c1998
|
| Serija: | (Lecture Notes in Computer Science)
|
| Online dostop: | Ver documento en línea |
| Oznake: |
Brez oznak, prvi označite!
|
Podobne knjige/članki: 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 /
- Typed Lambda Calculi and Applications : 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /