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 /
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Procedimiento de la conferencia Livro |
| Idioma: | inglês |
| Publicado em: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colecção: | (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence)
8562. |
| Assuntos: | |
| Acesso em linha: | Ver documento en línea |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados: 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 /