Proceedings of the IV Higher Order Workshop : Banff, Alberta, Canada, 10 - 14 September 1990

Proceedings of the IV Higher Order Workshop Banff, Alberta, Canada, 10 - 14 September 1990

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Higher Order Workshop (VerfasserIn)
Weitere Verfasser: Birtwistle, Graham M. (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u.a. Springer 1991
Schriftenreihe:Workshops in computing
Schlagworte:
Automatisches Beweisverfahren > Parallelverarbeitung > Programmiersprache > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 283 S.
ISBN:3540196609
3-540-19660-9
0387196609
0-387-19660-9