Reihe Synthesis Lectures on Data ManagementMichael Benedikt × Generating Plans from Proofs Michael BenediktSpringer International PublishingeBook202253,49 € Generating Plans from Proofs Michael BenediktSpringer International PublishingSoftcover201653,49 €
