Electronic Books

Total Books: 1 - 5 /5
Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Lire la suite
Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Lire la suite
Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Lire la suite
Computer Science Logic (vol. # 4207)

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Lire la suite
Universality of Nonclassical Nonlinearity

This book comes as a result of the research work developed in the framework of two international projects: the European Science ...

Lire la suite
Total Books: 1 - 5 /5