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...
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018, 2018, Vol.10929, p.292-310
Proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018, 2018, Vol.10929, p.75-93
23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020,Virtual, Online,2020-07-03 - 2020-07-10, 2020, Vol.12178, p.182-200
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.