Preface

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Book

G. Barthe

P. Dybjer

J. Saraiva

Publication

Year of publication: 2002

Volume: 2395 LNCS

Identifiers

Other: 2-s2.0-84886772625

Locators

Alternative Titles