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 /
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Konferans Sunumu Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham, Suiza :
Springer,
2014, c2014
|
| Seri Bilgileri: | (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence)
8562. |
| Konular: | |
| Online Erişim: | Ver documento en línea |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
Internet
Ver documento en línea| Yer Numarası: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 456347-1 |
Disponible
Préstamo en línea
|
Koleksiyon:
Libros electrónicos en línea
|
Notlar:
Consultar en línea
|