Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 2 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 2 von 2.

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
  2. Computational semantics with functional programming
    Autor*in: Eijck, Jan van
    Erschienen: 2010
    Verlag:  Cambridge University Press, Cambridge [u.a.]

    25 cm Literaturverz. S. 389 - 395. - Literaturangaben mehr

    Standort:
    Universität Freiburg, Romanisches Seminar, Bibliothek
    Signatur:
    Frei 23: S 7 EIJC/1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    2012 A 1414
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    T 11 B 7891
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Saarländische Universitäts- und Landesbibliothek
    Signatur:
    2011-2921
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Brechtbau-Bibliothek
    Signatur:
    5-GD 900.456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

     

    25 cm Literaturverz. S. 389 - 395. - Literaturangaben

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Unger, Christina
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0521757606; 0521760305; 9780521757607; 9780521760300
    RVK Klassifikation: ES 900 ; ES 940 ; ST 278 ; ST 306 ; ST 680 ; ST 140
    Schlagworte: Programming languages (Electronic computers); Functional programming (Computer science); Haskell (Computer program language)
    Umfang: XV, 405 S., Ill., graph. Darst.
    Bemerkung(en):

    Formal study of natural language -- Lambda calculus, types, and functional programming -- Functional programming with Haskell -- Formal syntax for fragments -- Formal semantics for fragments -- Model checking with predicate logic -- The composition of meaning in natural language -- Extension and intension -- Parsing -- Handling relations and scoping -- Continuation passing style semantics -- Discourse representation and context -- Communication as informative action.