Repozytorium Uniwersytetu Jagiellońskiego

Boltzmann samplers for closed simply-typed lambda terms

Opis pozycji

 

Pokaż metadane (Dublin Core)

Pokaż dane dla PBN

Pliki tej pozycji

Plik Rozmiar Format Przeglądanie

Nie ma plików powiązanych z tą pozycją.

Pozycja umieszczona jest w następujących kolekcjach

Szukaj w RUJ


Szukanie zaawansowane

Statystyki