Completing Herbelin's programme

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

Book

Publication

Year of publication: 2007

Volume: 4583LNCS

Pages: 118-132

Identifiers

Other: 2-s2.0-38149069721

Locators

Alternative Titles