Alferes, José Júlio

Reasoning With Logic Programming /José Júlio Alferes, Luís Moniz Pereira

Includes index

9783540614883

006.3 / ALF