Вы здесь

Главная

Logic Programming: Proc. of the Intern Symp.

Связанные издания:

How to Declare an Imperative
Relationlog: A Typed Extension to Datalog with Sets and Tuples