Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 19-22, 2014 : Proceedings /
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Cham, Suiza :
Springer,
2014, c2014
|
| Col·lecció: | (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence)
8562. |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Automated Reasoning :
- Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings /
- Hello World en TensorFlow : para iniciarse en la programación del Deep Learning /
- Tree-based Machine Learning Algorithms : Decision Trees, Random Forests, and Boosting /
- Machine Learning with TensorFlow /
- From Animals to Animats 13 : 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014 : Proceedings /
- Agent-Oriented Software Engineering XIII /