Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Details
- Autor(en) / Beteiligte
- Titel
- A modern perspective on type theory : from its origins until today
- Ist Teil von
- Ort / Verlag
- Dordrecht [u.a.] : Kluwer Acad. Publ.
- Erscheinungsjahr
- 2004
- Link zu anderen Inhalten
- Beschreibungen/Notizen
- Hier auch später erschienene, unveränderte Nachdrucke
- Sprache
- Englisch
- Identifikatoren
- ISBN: 1402023340, 1402023359, 9789048166398OCLC-Nummer: 845695182, 845695182Titel-ID: 990008846240106463
- Format
- XIV, 357 S.
- Systemstelle
- TVH
- Schlagworte
- Computerlinguistik, Typentheorie