Logical Environments - Hardcover

Hardcover

ISBN 10: 0521433126 ISBN 13: 9780521433129

Verlag: Cambridge University Press, 1993

Proceedings of the second International Workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Cr�ticas

"The research of logical frameworks probably has a long future ahead, and the reviewed volume provides truthful information about the first steps into this wide field." Journal of Symbolic Logic

Rese�a del editor

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before the contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants. Any mathematician or computer scientist whose research interests lie in the development of the interplay between logic and software engineering will not be able to do without this book.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

VerlagCambridge University Press
Erscheinungsdatum1993
ISBN 10 0521433126
ISBN 13 9780521433129
EinbandTapa dura
SpracheEnglisch
Anzahl der Seiten352
HerausgeberHuet Gerard, Plotkin Gordon
Kontakt zum HerstellerNicht verf�gbar

Gebraucht kaufen

Zustand: Gut bis sehr gut

pp.xiii, 338 pages, a near fine...

Diesen Artikel anzeigen

EUR 13,35

W�hrung umrechnen

EUR 8,53 f�r den Versand von Vereinigtes K�nigreich nach Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Logical Environments

Beispielbild f�r diese ISBN

Logical Environments.

HUET, Huet & Plotkin, Gordon

Verlag: Cambridge University Press, 1993

ISBN 10: 0521433126 ISBN 13: 9780521433129

Gebraucht Hardcover

Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Hardcover. Zustand: Near Fine. pp.xiii, 338 pages, a near fine hardback, publisher's original blue (teal) cloth binding with gilt lettering to the spine, minimal evidence that it is from a uk university [0521433126]. Artikel-Nr. 106503

Verk�ufer kontaktieren