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...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9632, p.589-615
9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, United Kingdom, 2018, Vol.10900, p.646-662
10th International Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, Oxford, United Kingdom, 2018, Vol.11294 LNCS, p.88-111
Kopieren Sie den folgenden Link in einen RSS-Reader Ihrer Wahl (z.B. Outlook, Thunderbird, Feedly, etc.) um die Suchergebnisse als RSS-Feed zu abonnieren.