Popis: Proof search strategies in linear logic /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Tammet, Tanel (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	[Göteborg] : Programming Methodology Group, c1993.
Témata:	výpočetní technika computer science monografie monographs

Popis
Fyzický popis:	36 s.