Leeds University Library


Literature searching help

Finding information - the basics of literature searching

Advanced literature searching - advice on carrying out comprehensive literature searches

View another subject

Recent additions

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring.

Bertot, Yves.


Moving graphics : new directions in motion design = les novelles tendancies du motion design = nuevas tendencias en animación gráfica = nuove direzioni ne design in movimento.