Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Ekitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| Seri Bilgileri: | Lecture Notes in Computer Science
8123 |
| Konular: | |
| Online Erişim: | Click here to view the full text content |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| Fiziksel Özellikler: | 1 online resource (X, 289 pages) 34 illustrations. digital |
|---|---|
| ISBN: | 9783642405372 |
| ISSN: | 0302-9743 |