Lineare Logik in der Informatik von Paul Ruet (Englisch) Taschenbuch
154,94 €
Preface; List of contributors; Part I. Tutorials: 1. Category theory for linear logicians R. Blute and Ph. Scott; 2. Proof nets and the x-calculus S. Guerrini; 3. An overview of linear logic programming D. Miller; 4.
Jetzt bei Ebay:
