Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Typed Lambda Calculi and Applications Jean-Yves Girard

Ø 0.0
0 Bewertungen
93,08 €

Titel: Typed Lambda Calculi and Applications, Untertitel: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, Einband: Taschenbuch, Autor: Jean-Yves Girard, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 412, Maße: 235x155x23 mm, Gewicht: 622 g, Verkäufer: buch-mimpf, Schlagworte: Counting commutative property complexity differential equation Geometry lambda calculus logic proof Semantics type theory.

Jetzt bei Ebay:

Zum Angebot *
  • Seiten:
    412
  • Gewicht:
    622
  • Einband:
    Taschenbuch
  • Marke:
    Springer Berlin Heidelberg
  • Fachbereich:
    Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
  • Publikationstitel:
    Typed Lambda Calculi and Applications
  • Buchtitel:
    Typed Lambda Calculi and Applications
  • Untertitel:
    4th International Conference, TLCA'99, L'Aquila, Italy, April ...
  • Film-/Fernseh-Titel:
    Keine Angabe
  • Musiktitel:
    Keine Angabe
  • Interpret:
    Keine Angabe
  • Schlagworte:
    Counting commutative property complexity differential equat...
  • ISBN:
    9783540657637
  • Reihe:
    Lecture Notes in Computer Science
  • Produktart:
    Lehrbuch
  • Format:
    Taschenbuch
  • Erscheinungsjahr:
    1999
  • Anzahl der Seiten:
    412 Seiten
  • Autor:
    Jean-Yves Girard
  • Verlag:
    Springer Berlin Heidelberg, Springer Berlin
  • Publikationsname:
    Typed Lambda Calculi And Applications
  • Sprache:
    Englisch
  • Standardversand:
    DHL Paket kostenlos - Lieferung zwischen 21. May 2025 und 22. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere