Zum Inhalt springen

  1. Gerhardus, Dietfried [VerfasserIn] ; Kledzik, Silke M. [Sonstige Person, Familie und Körperschaft]; Reitzig, Gerd H. [Sonstige Person, Familie und Körperschaft]; Lorenz, Kuno [VerfasserIn eines Geleitwortes]

    Schlüssiges Argumentieren : logisch-propädeutisches Lehr- und Arbeitsbuch

    Bücher
    Schließen

    Merkliste

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

    Göttingen: Vandenhoeck & Ruprecht, 1975

    Erschienen in: Kleine Vandenhoeck-Reihe ; 1417

  2. Nait Abdallah, Areski [VerfasserIn]

    The logic of partial information

    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, 1995

    Erschienen in: Monographs in theoretical computer science

  3. Ernst, Erik [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Programming Languages

    Proceedings of the 12th workshop on Foundations of aspect-oriented languages

    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.

    New York, NY: ACM, 2013

    Erschienen in: ACM Digital Library- ACM Other conferences

  4. Biemann, Chris [VerfasserIn]

    Proceedings of the Workshop on Distributional Semantics and Compositionality

    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.

    United States: Association for Computational Linguistics, 2011

    Erschienen in: DL Hosted proceedings- ACM Digital Library

  5. Association for Computing Machinery, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Programming Languages

    Proceedings of the International Workshop on Formalization of Modeling Languages

    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.

    New York, NY: ACM, 2010

    Erschienen in: ACM Digital Library- ACM Other conferences

  6. Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages

    Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs

    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.

    New York, NY: ACM, 2016

    Erschienen in: ACM Other conferences- ACM Digital Library

  7. Hatcliff, John [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Algorithms and Computation Theory

    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

    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.

    New York, NY: ACM, 2008

    Erschienen in: ACM Digital Library- ACM Conferences

  8. Jones, Neil D. [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages

    Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

    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.

    New York, NY: ACM, 2004

    Erschienen in: ACM Digital Library- ACM Conferences

  9. Peña, Ricardo [VerfasserIn] ; Association for Computing Machinery

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

    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.

    New York, NY: ACM, 2013

    Erschienen in: ACM Digital Library- ACM Other conferences

  10. Chin, Wei-Ngan [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Programming Languages

    Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

    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.

    New York, NY: ACM, 2012

    Erschienen in: ACM Digital Library- ACM Other conferences

  11. Brady, Edwin [VerfasserIn] ; ACM Special Interest Group on Programming Languages, ACM SIGs

    Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation

    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.

    New York,NY,United States: Association for Computing Machinery, 2023

    Erschienen in: ACM Conferences- ACM Digital Library

  12. Moratz, Reinhard [VerfasserIn]; Sabellek, Leif [VerfasserIn]; Schneider, Thomas [VerfasserIn] ; Reinhard Moratz and Leif Sabellek and Thomas Schneider [MitwirkendeR]

    Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  13. Miculan, Marino [VerfasserIn] ; Association for Computing Machinery-Digital Library

    Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice

    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.

    New York, NY: ACM, 2017

    Erschienen in: ACM Other conferences- ACM Digital Library