AKTUELLE PARTNERANGEBOTE

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275)

Brand : Springer, Binding : paperback, Edition : 1997, Label : Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275), NumberOfItems : 1, PackageQuantity : 5, medium : paperback, numberOfPages : 356, publicationDate : 2008-06-13, releaseDate : 2008-06-13, authors : Amy Felty, Gunter, Elsa L., languages : english, ISBN : 3540633790

2 Angebote · ab 53,49 € gemeldete Gesamtkosten