Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

  1. Computational semantics with functional programming
    Autor*in: Eijck, Jan van
    Erschienen: 2010
    Verlag:  Cambridge Univ. Pr., Cambridge [u.a.]

    A comprehensive introduction to computational semantics, showing students how to compute meaning using the functional programming language Haskell mehr

    Standort:
    Hochschulbibliothek Friedensau
    Signatur:
    Online-Ressource
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

     

    A comprehensive introduction to computational semantics, showing students how to compute meaning using the functional programming language Haskell

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (Lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Unger, Christina
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780511930027
    RVK Klassifikation: ES 900 ; ES 940 ; ST 278 ; ST 306 ; ST 680
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Programming languages (Electronic computers); Functional programming (Computer science); Haskell (Computer program language); Programming languages (Electronic computers) ; Semantics..; Functional programming (Computer science); Haskell (Computer program language); Electronic books
    Umfang: Online Ressource (XV, 405 S.)
    Bemerkung(en):

    Description based upon print version of record

    Cover; Half-title; Title; Copyright; Contents; Foreword; Preface; 1 Formal Study of Natural Language; 2 Lambda Calculus, Types, and Functional Programming; 3 Functional Programming with Haskell; 4 Formal Syntax for Fragments; 5 Formal Semantics for Fragments; 6 Model Checking with Predicate Logic; 7 The Composition of Meaning in Natural Language; 8 Extension and Intension; 9 Parsing; 10 Handling Relations and Scoping; 11 Continuation Passing Style Semantics; 12 Discourse Representation and Context; 13 Communication as Informative Action; Afterword; Bibliography; Index

    Electronic reproduction; Available via World Wide Web