F.D. Kamareddine - Thirty Five Years of Automating Mathematics (Applied Logic Series, 28, Band 28)

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2003, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 329, publicationDate : 2003-11-30, releaseDate : 2003-11-30, publishers : F.D. Kamareddine, ISBN : 1402016565 ...