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... 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