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:(Provability AND Calculus AND of AND Constructions)
Suggestions: Include records that partially match the query
Provability Calculus of Constructions
IT-DTU — 1999
Year: 1999
Language: English