Inhaltsangabe
Proceedings of the Fourth Annual Symposium on [title] held June 1989, Pacific Grove, CA. Comprises 38 papers on such topics as: stratified polymorphism; fixpoint extensions of first-order logic; type inference for record concatenation and multiple inheritance; substitutional recursion on non-well-founded sets; characterizing complexity classes by higher type. No index. Annotation copyright Book News, Inc. Portland, Or.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Fourth Annual Symposium on Logic in Computer Science:...
Foto des Verkäufers
Proceedings Fourth Annual Symposium on Logic in Computer Science
Verlag:
IEEE Computer Society Press,U.S., 1989
ISBN 10: 0818619546
ISBN 13: 9780818619540
Gebraucht
Softcover-Großformat
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover-Großformat. Zustand: Gut. 418 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1020. Artikel-Nr. 1771618
Gebraucht kaufen
EUR 25,95
EUR 19,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar