• Refine your search:
  • 
    Keyword:
    
    • Semantik (57)
    • Programmiersprache (47)
    • Computerlinguistik (9)
    • Formale Sprache (6)
    • Künstliche Intelligenz (6)
    • Syntax (6)
    • Sprachverarbeitung (5)
    • LISP (4)
    • Linguistik (4)
    • Programmierlogik (4)
    •   more
  • 
    Creator / Publisher:
    
    • Charniak, Eugene (4)
    • Melton, Austin (3)
    • Bakker, Jacobus W. de (2)
    • Branquart, Paul (2)
    • Engeler, Erwin (2)
    • Fehr, Elfriede (2)
    • Goldblatt, Robert (2)
    • Guessarian, Irène (2)
    • Kahn, Gilles (2)
    • Lee, Hyun Joo (2)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 Hits 1 – 20 of 57 1 Modellextraktion aus natürlichen Sprachen : eine Methode zur systematischen Erstellung von Domänenmodellen Gelhausen, Tom. - Karlsruhe : KIT Scientific Publ., 2010 BLLDB UB Frankfurt Linguistik Show details 2 Software verification for programmable logic controllers Huuck, Ralf. - 2003 UB Frankfurt Linguistik Show details 3 A universal realizability model for sequential functional computation Rohr, Alexander. - 2002 UB Frankfurt Linguistik Show details 4 ULTRA - a logic transaction programming language Wichert, Carl-Alexander. - 2000 UB Frankfurt Linguistik Show details 5 Compiling natural semantics Pettersson, Mikael. - Berlin [u.a.] : Springer, 1999 UB Frankfurt Linguistik Show details 6 Maschinelle Analyse deutscher Präfixverben mit PROLOG unter morphosemantischem Aspekt Lee, Hyun Joo. - Hamburg : Kovač, 1999 BLLDB UB Frankfurt Linguistik Show details 7 Compiling Natural Semantics Pettersson, Mikael. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999 UB Frankfurt Linguistik Show details 8 Maschinelle Analyse deutscher Präfixverben mit PROLOG unter morphosemantischem Aspekt Lee, Hyun Joo. - Hamburg : Kovač, 1999 IDS Mannheim Show details 9 Semantics and logics of computation Pitts, Andrew M. (Hrsg.); Hyland, Martin (Mitarb.); Hofmann, Martin (Mitarb.). - Cambridge : Cambridge Univ. Press, 1997 BLLDB UB Frankfurt Linguistik Show details 10 Control flow semantics Bakker, Jacobus W. de; Vink, Erik de. - Cambridge, Mass. [u.a.] : MIT Press, 1996 IDS Mannheim Show details 11 Algebraic semantics of imperative programs Malcolm, Grant; Goguen, Joseph A.. - Cambridge, Mass. [u.a.] : MIT Press, 1996 IDS Mannheim Show details 12 Formal syntax and semantics of programming languages : a laboratory based approach Slonneger, Kenneth; Kurtz, Barry L.. - Reading, Mass. [u.a.] : Addison-Wesley, 1995 UB Frankfurt Linguistik Show details 13 Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993 ; proceedings Brookes, Stephen D. (Hrsg.). - Berlin [u.a.] : Springer, 1994 UB Frankfurt Linguistik Show details 14 Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings Brookes, Stephen; Main, Michael; Melton, Austin. - Berlin, Heidelberg : Springer-Verlag, 1994 UB Frankfurt Linguistik Show details 15 Foundations of logic programming Lloyd, John W.. - Berlin [u.a.] : Springer, 1993 UB Frankfurt Linguistik Show details 16 Semantics : foundations and applications ; proceedings Bakker, Jacobus W. de (Hrsg.). - Berlin [u.a.] : Springer, 1993 UB Frankfurt Linguistik Show details 17 Semantics: Foundations and Applications : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings Bakker, J. W; Roever, W. -P; Rozenberg, G. - Berlin, Heidelberg : Springer-Verlag, 1993 UB Frankfurt Linguistik Show details 18 Semantics of programming languages : structures and techniques Gunter, Carl A.. - Cambridge, Mass. [u.a.] : MIT Press, 1992 UB Frankfurt Linguistik Show details 19 Semantics of type theory : correctness, completeness and independence results Streicher, Thomas. - Boston [u.a.] : Birkhäuser, 1991 UB Frankfurt Linguistik Show details 20 Programming language syntax and semantics Watt, David A.. - New York [u.a.] : Prentice Hall, 1991 UB Frankfurt Linguistik Show details Page: 1 2 3

Mobile view All Catalogues UB Frankfurt Linguistik 49 IDS Mannheim 6 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 2 Bibliographies BLLDB 5 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 0 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0