Siekmann, Jörg H. - Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation)

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1983, Label : Springer-Verlag, Publisher : Springer-Verlag, medium : Taschenbuch, numberOfPages : 544, publicationDate : 1983-01-01, publishers : Siekmann, Jörg H., ISBN : 3642819540 ...