1

The digital transformation of the public sphere

Year:
2019
Language:
english
File:
PDF, 1021 KB
english, 2019
2

PROLOG: A programming tool for logical domain modeling

Year:
1983
Language:
english
File:
PDF, 128 KB
english, 1983
9

Automated reasoning in geometry theorem proving with Prolog

Year:
1986
Language:
english
File:
PDF, 2.27 MB
english, 1986
26

Temporal inferencing on administrative databases

Year:
1985
Language:
english
File:
PDF, 1008 KB
english, 1985
29

(Virtual) Agents for running electricity markets

Year:
2010
Language:
english
File:
PDF, 1.21 MB
english, 2010
31

Man-machine communication in Portuguese: A friendly library service system

Year:
1982
Language:
english
File:
PDF, 1.80 MB
english, 1982