Michael Benedikt

Название: Generating Plans from Proofs

Автор: Michael Benedikt

Серия: Synthesis Lectures on Data Management

Жанр: Базы данных

Поробнее