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 /
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Cham, Suiza :
Springer,
2014, c2014
|
| Σειρά: | (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence)
8562. |
| Θέματα: | |
| Διαθέσιμο Online: | Ver documento en línea |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Διαδίκτυο
Ver documento en línea| Ταξινομικός Αριθμός: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 456347-1 |
Disponible
Préstamo en línea
|
Συλλογή:
Libros electrónicos en línea
|
Σημειώσεις:
Consultar en línea
|