Andrei Voronkov - Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science, 2392, Band 2392)

Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 552, publicationDate : 2010-06-02, publishers : Andrei Voronkov, ISBN : 3540439315 ...