?
1
An inductive logic programming approach to statistical rela..
Frontiers in artificial intelligence and applications ; 148, Dissertations in artificial intelligence
Exemplar:
Zentrale:E02 a inf 740 e/654
?
2
Verifying temporal properties of systems
Progress in theoretical computer science ; [6]
Exemplar:
Zentrale:E02 a inf 410/542
1-2