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 /
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , , |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham, Suiza :
Springer,
2014, c2014
|
| Edice: | (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence)
8562. |
| Témata: | |
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Internet
Ver documento en línea| Signatura: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 456347-1 |
Disponible
Préstamo en línea
|
Sbírka:
Libros electrónicos en línea
|
Poznámky:
Consultar en línea
|