Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Computer Science Logic

- 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Über Computer Science Logic

Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540282310
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 567
  • Veröffentlicht:
  • 9. August 2005
  • Ausgabe:
  • 2005
  • Abmessungen:
  • 234x156x30 mm.
  • Gewicht:
  • 1780 g.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Computer Science Logic

Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.

Kund*innenbewertungen von Computer Science Logic



Ähnliche Bücher finden
Das Buch Computer Science Logic ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.