Residuated lattices an algebraic glimpse at substructural logics
Year of Publication 2007
Plný text
Book
Proof, language, and interaction essays in honour of Robin Milner
Year of Publication 2000
Plný text
eBook
Smart electromechanical systems : the central nervous system
Year of Publication 2017
Plný text
Electronic
eBook
Theories of programming : the life and works of Tony Hoare
Year of Publication 2021
Plný text
Electronic
eBook
Democratizing cryptography : the work of Whiteld Diffie and Martin Hellman
Year of Publication 2022
Plný text
Electronic
eBook