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...
Link-Resolver
Folgender Titel konnte gefunden werden
Autor(en)
Kovács, Laura
Artikel
First-Order Theorem Proving and Vampire
Titel
Lecture notes in computer science
Seiten
1-35
Band
LNCS 8044
Verlag
Springer-Verlag
Ort
Berlin ; New York
Erscheinungsjahr
2013
Identifikatoren
ISSN: 0302-9743; eISSN: 1611-3349; ISBN: 3642397980; eISBN: 3642397999
Volltextzugriff (PDF)