Читать книгу Declarative Logic Programming - Michael Kifer - Страница 4

Declarative Logic Programming

Theory, Systems, and Applications

Michael Kifer

Stony Brook University

Yanhong Annie Liu

Stony Brook University

ACM Books #20