Proceedings Fourth Annual Symposium on Logic in Computer Science

Institute Of Electrical And Electronics Engineers

ISBN 10: 0818619546 / ISBN 13: 9780818619540

Verlag: IEEE Computer Society Press,U.S., 1989

Beschreibung

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.

Bestandsnummer des Verkäufers 1771618

Bibliografische Details

• Titel: Proceedings Fourth Annual Symposium on Logic in Computer Science
• Verlag: IEEE Computer Society Press,U.S.
• Erscheinungsjahr: 1989
• Sprache: Englisch
• ISBN-10: 0818619546
• ISBN-13: 9780818619540
• Einband: Softcover-Großformat
• Zustand: Gut
• Verkäuferkataloge:
  • 90 Varia

Über diesen Titel

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.