Rewriting and Typed Lambda Calculi
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Rewriting and Typed Lambda Calculi
Siūlyti šią knygą
Pridėti į norimas
Leidėjas:
Springer-Verlag GmbH
2014
ISBN 9783319089171
Viršelis: Minkštas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Matematika, statistika
Gamtos mokslai
Redaguoti informaciją
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
