Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
BuchPaperback
Verkaufsrang18642inEinführungen
CHF75.90

Produktinformationen

The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-56992-3
ProduktartBuch
EinbandPaperback
VerlagSpringer
Erscheinungsdatum11.08.1993
Auflage1993
ReiheLecture Notes in Computer Science
Reihen-Nr.702
Seiten456 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 25 mm
Gewicht686 g
WarengruppeInformatik
KategorieEinführungen
Weitere Details

Reihe

Kritiken und Kommentare

Über die Autorin/den Autor

Schlagworte

Vorschläge

Zuletzt von mir angeschaut