DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Proof AND support AND for AND duration AND calculus)
Suggestions: Include records that partially match the query
Proof support for duration calculus
Department of Information Technology, Technical University of Denmark — 1999
Year: 1999
Language: English