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)
Conference on Automated Deduction
Titel
Conference on Automated Deduction
Band
87
Verlag
Springer
Ort
Berlin Heidelberg [u.a.]
Erscheinungsjahr
1980
Identifikatoren
ISSN: 0302-9743; eISSN: 1611-3349; ISBN: 0387100091, 3540100091; eISBN: 9783540381402
Volltextzugriff (PDF)