Model and Proof Theory of Constructive ALC de Stephan M. Scheele

Model and Proof Theory of Constructive ALC: Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg, cartea 20

Autor Stephan M. Scheele

en Limba Engleză Paperback – iul 2015

Preț: 138^.16 lei

Preț vechi: 172^.69 lei
-20% Nou

Puncte Express: 207

:
26^.44€ • 27^.81$ • 22^.06£

Carte indisponibilă temporar

Wish list
Gift list
Am citit!

Adaugă în listă

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783863093204
ISBN-10: 3863093208
Ilustrații: graph. Darst.
Dimensiuni: 172 x 241 x 22 mm
Greutate: 0.6 kg
Editura: Otto-Friedrich-Uni
Seria Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg