Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)
Country | USA |
Binding | Kindle Edition |
Format | Kindle eBook |
IsAdultProduct | |
Label | Molten Universe Media |
Manufacturer | Molten Universe Media |
NumberOfPages | 340 |
PublicationDate | 2017-05-01 |
Publisher | Molten Universe Media |
ReleaseDate | 2017-05-01 |
Studio | Molten Universe Media |