Название Generating Plans from Proofs
Год выпуска 0
isbn 9781627059428
Автор произведения Michael Benedikt
Жанр Базы данных
Серия Synthesis Lectures on Data Management
Издательство Ingram