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