Algebraic Informatics : 5th International Conference, CAI 2013 Porquerolles, France, September 3-6, 2013 Proceedings /
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | , , |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Heidelberg, Alemania :
Springer,
2013, c2013
|
| Colección: | (Lecture Notes in Computer Science ;
8080) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Algebraic Informatics :
- Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013 Warsaw, Poland, September 3-6, 2013 Proceedings /
- Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
- Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
- Frontiers in Algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : Proceedings /
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
- Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : Proceedings /