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...
Zur Ergebnisliste
Ergebnis 16 von 259
    Datensatz exportieren als...
  • BibTeX
Automated Theorem Proving
1, 1982
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Automated Theorem Proving
Auflage
1
Ort / Verlag
Wiesbaden: Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
Erscheinungsjahr
1982
Quelle
Alma/SFX Local Collection
Sprache
Deutsch
Identifikatoren
ISBN: 9783528085209, 3528085207
Titel-ID: cdi_proquest_ebookcentral_EBC6864269
Format
–

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX