Extending resource-aware logics

Lieferzeit: Lieferbar innerhalb 14 Tagen

79,00 

Proof systems, semantics and applications

ISBN: 3844324283
ISBN 13: 9783844324280
Autor: Kamide, Norihiro
Verlag: LAP LAMBERT Academic Publishing
Umfang: 268 S.
Erscheinungsdatum: 30.03.2011
Auflage: 1/2011
Format: 1.7 x 22 x 15
Gewicht: 417 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1783992 Kategorie:

Beschreibung

Herstellerkennzeichnung:


OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD

E-Mail: info@omniscriptum.com

Das könnte Ihnen auch gefallen …