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...
Zur Ergebnisliste
Ergebnis 5 von 5
    Datensatz exportieren als...
  • BibTeX
Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg
Erscheinungsjahr
2009
Sprache
–
Identifikatoren
ISBN: 9783642022739
DOI: 10.1007/978-3-642-02273-9
OCLC-Nummer: 1074255476, 1074255476
Titel-ID: 990175893040206441
Format
–
Schlagworte
Algebra, Computer science, Electronic data processing, Logic design, Logic, Symbolic and mathematical