Typed Lambda Calculi and Applications
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Typed Lambda Calculi and Applications
Leidėjas:
Springer Berlin Heidelberg
2013
264 psl.
ISBN 9783642389450
Viršelis: Minkštas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Matematika, statistika
Gamtos mokslai
Redaguoti informaciją
Šią knygą siūlo
(0)
Šios knygos nori
(0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
