Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,
Format
Perfect
Utgivningsdatum
2014-07-01
Förlag
Springer
Utgivningsland
Schweiz
ISBN
9783319089195

Du kanske gillar

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,

av Gilles Dowek
Perfect 2014-07-01
622
Köp
Spara som favorit
  • Skickas inom 7-10 vardagar.
  • Gratis frakt inom Sverige över 199 kr för privatpersoner.
Vi har inte fått in någon beskrivning av boken från förlaget. Kolla gärna upp förlagets (Springer) hemsida, där det kan finnas mer information.

Kundrecensioner

Sätt ditt betyg »

Fler böcker av Gilles Dowek

Visa alla böcker av Gilles Dowek »