Title: Tidslogik og kunstig intelligens
First published: 1989
Subjects: Artificial intelligence, Logic
LC classification: Q335 .O37 1989