Rajaa
Hakutulokset: Kirjoja kirjailijalta Norihiro Kamide
Rajaa
yhteensä 2 hakutulosta
Extending Resource-Aware Logics
pokkari,
2011,
englanti,
ISBN 9783844324280
This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By …
Proof Theory of N4-Paraconsistent Logics
pokkari,
2015,
englanti,
ISBN 9781848901674