Linear logic in computer science

Linear logic in computer science

Tvé hodnocení
Zatím nehodnoceno
Rok vydání 2004
Žánry Literatura faktu, Filozofie
This book illustrates linear logic in the application of proof theory to computer science.
Přidat do oblíbených
Přidat na polici
Sdílet Zpět na výpis

Komentáře

Přihlas se, abys mohl/a přidat komentář.

Zatím žádné komentáře. Buď první!