Extending resource-aware logics: Proof systems, semantics and applications

Extending

von Norihiro Kamide

Taschenbuch

ISBN-13: 978-3-8443-2428-0

ISBN-10: 3-8443-2428-3

LAP LAMBERT Academic Publishing · 2011