Model and Proof Theory of Constructive ALC Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg, nr. 20 Autor Stephan M. Scheele iul 2015 Paperback Preț: 138.16 lei 172.69 lei Indisponibil temporar -20%
