Karl Schäfer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1995

1 Christoph Brzoska, Karl Schäfer: Temporal Logic Programming Applied to Image Sequence Evaluation. Logic Programming: Formal Methods and Practical Applications 1995: 381-395

	1995
1		Christoph Brzoska, Karl Schäfer: Temporal Logic Programming Applied to Image Sequence Evaluation. Logic Programming: Formal Methods and Practical Applications 1995: 381-395

Coauthor Index