Linear Logic in Computer Science
Stabilní cena
Cenu sledujeme od 23. 7. 2026 a zatím se drží na 2 969 Kč.
O produktu
The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.
Tip: Podívejte se také na další produkty z kategorie Matematické základy.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780521608572
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
