Sprache: Englisch
Verlag: LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3844324283 ISBN 13: 9783844324280
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Extending resource-aware logics | Proof systems, semantics and applications | Norihiro Kamide | Taschenbuch | 268 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783844324280 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.