Bengt Nordström
Buchliste
Ergebnis
[1-4 von 4]
- 1.) Advances in Natural Language Processing [Lecture Notes in Computer Science]
Bengt Nordström (Herausgeber), Aarne Ranta (Herausgeber/-in)
Springer-Verlag, 2008 [1., Ed., Taschenbuch] - 2.) Types for Proofs and Programs [Lecture Notes in Computer Science]
Peter Dybjer (Herausgeber), Bengt Nordström (Herausgeber), Jan Smith (Herausgeber)
Springer, Berlin, 1995 [Erste Auflage, Taschenbuch] - 3.) Types for Proofs and Programs [Lecture Notes in Computer Science]
Thierry Coquand (Herausgeber), Peter Dybjer (Herausgeber), Bengt Nordström (Herausgeber), Jan Smith (Herausgeber)
Springer, Berlin, 2000 [Erste Auflage, Taschenbuch] - 4.) Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 [Lecture Notes in Computer Science]
Peter Dybjer (Herausgeber), Bengt Nordström (Herausgeber), Jan M. Smith (Herausgeber)
Springer-Verlag, 1995 [Taschenbuch]
© 1994–2012 Sascha Hendel
URL (zitierfähig): http://buch.archinform.net/author/Bengt_Nordstr%C3%B6m.htmletzte Aktualisierung: 17.5.2012
- Bewerten & Empfehlen
Anzeige