Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
LFMTP 2016 : proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
[2008]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The journal of logic and algebraic programming [e-journal]
©2001-©2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Journal of logical and algebraic methods in programming
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
1st ed. 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Journal of functional and logic programming
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
1st ed
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Theoretical Computer Science and General Issues : 12669
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
LICS '17 : Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Technology Assessment of Dual-Use ICTs : How to Assess Diffusion, Governance and Design
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 5th Workshop on Programming Models for SIMD/Vector Processing
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
Lecture Notes in Computer Science : 13780
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The journal of logic programming
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic in Computer Science, 12th Symposium
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
R-Calculus, VI: Finite Injury Priority Method
1st ed. 2025, 2025
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
Lecture Notes in Artificial Intelligence : 13040
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
Lecture Notes in Computer Science : 13524
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Provably Correct Systems
NASA Monographs in Systems and Software Engineering
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Lecture Notes in Artificial Intelligence : 12166
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Lecture Notes in Computer Science : 10608
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Practical Aspects of Declarative Languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
Lecture Notes in Computer Science : 10702
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Inductive Logic Programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Lecture Notes in Computer Science : 10759
2018
Volltextzugriff (PDF)
1 – 25 von 338
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen