Adapting Proofs as Programs The Curry Howard Protocol J...

Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer

Name: Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer
ISBN: 9780387237596

Desconocido

0 / 0

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

Rok:

2007

Język:

spanish

ISBN 10:

0387237593

ISBN 13:

9780387237596

Plik:

MOBI , 715 KB

IPFS:

spanish, 2007

Czytaj Online

Trwa konwersja do

Konwersja do nie powiodła się