Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Kai Brünnler, George Metcalfe (edición)
Format: Knjiga
Jezik:angleščina
Izdano: Berlín, Alemania : Springer, 2011, c2011
Serija:(Lecture Notes in Computer Science)
Online dostop:Ver documento en línea
Oznake: Označite
Brez oznak, prvi označite!