Zum Inhalt springen

  1. Belnap, Nuel D. [VerfasserIn] ; Steel, Thomas B. [Sonstige Person, Familie und Körperschaft]; Brockhaus, Klaus [Sonstige Person, Familie und Körperschaft]

    Logik von Frage und Antwort

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig; Wiesbaden: Vieweg, 1985

  2. Pogodalla, Sylvain [HerausgeberIn]; Prost, Jean-Philippe [Sonstige Person, Familie und Körperschaft] ; LACL 6 2011 Montpellier

    Logical aspects of computational linguistics : 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6736

  3. Bozapalidis, Symeon [HerausgeberIn]; Rahonis, George [Sonstige Person, Familie und Körperschaft] ; CAI 2 2007 Thessaloniki

    Algebraic informatics : second international conference, CAI 2007, Thessalonkiki, Greece, May 21-25, 2007 ; revised selected and invited papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4728

  4. Cresswell, M. J. [VerfasserIn] ; Posner, Roland [Sonstige Person, Familie und Körperschaft]

    Die Sprachen der Logik und die Logik der Sprache

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: de Gruyter, 1979

    Erschienen in: De-Gruyter-Studienbuch ; Grundlagen der Kommunikation

  5. Hofmann, Martin [VerfasserIn]; Lange, Martin [VerfasserIn]

    Automatentheorie und Logik

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: eXamen.press

  6. Janzen, Jan [VerfasserIn] ; Frege, Gottlob [Sonstige Person, Familie und Körperschaft]; Wittgenstein, Ludwig [Sonstige Person, Familie und Körperschaft]

    Kalkül und Sprache : Freges und Wittgensteins Überlegungen zur Bedeutung formaler Sprachen im Verhältnis zur modelltheoretischen Tradition

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Würzburg: Königshausen & Neumann, 2011

    Erschienen in: Epistemata / Reihe Philosophie ; 496

  7. Pogodalla, Sylvain [VerfasserIn] ; Prost, Jean-Philippe [Sonstige Person, Familie und Körperschaft]

    Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6736

  8. Bozapalidis, Symeon [Sonstige Person, Familie und Körperschaft]; Rahonis, George [Sonstige Person, Familie und Körperschaft]

    Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5725

  9. Pogodalla, Sylvain [HerausgeberIn]; Retoré, Christian [HerausgeberIn]; de Groote, Philippe [HerausgeberIn]

    Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 10054

  10. Asher, Nicholas [VerfasserIn] ; Soloviev, Sergei [HerausgeberIn]

    Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8535

  11. Béchet, Denis [VerfasserIn] ; Dikovsky, Alexander [Sonstige Person, Familie und Körperschaft]

    Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7351