Bücher nach ISBN > LAP LAMBERT Academic Publishing > Norihiro Kamide

Norihiro Kamide

N K

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Extending resource-aware logics: Proof systems, semantics and applications978-3-8443-2428-O
(3-8443-2428-3)		2011

Norihiro Kato