Selected Papers on Automath

Kobo ebook | October 1, 1994

byNederpelt, R.P.

not yet rated|write a review
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.

Pricing and Purchase Info

$73.79 online
$95.73 list price (save 22%)
Available for download
Not available in stores

From the Publisher

The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of...

Format:Kobo ebookPublished:October 1, 1994Publisher:North HollandLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:008088718X

ISBN - 13:9780080887180

Customer Reviews of Selected Papers on Automath

Reviews