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 21 von 356
    Datensatz exportieren als...
  • BibTeX
Automated development of fundamental mathematical theories
Automated reasoning series : 2 (Alle Bände)
1992
Signatur: TCL4006

Details

Autor(en) / Beteiligte
Titel
Automated development of fundamental mathematical theories
Ist Teil von
Ort / Verlag
Dordrecht [u.a.] : Kluwer
Erscheinungsjahr
1992
Link zu anderen Inhalten
Sprache
–
Identifikatoren
ISBN: 0792320212
OCLC-Nummer: 636515639, 636515639
Titel-ID: 990006190410106463
Format
XVIII, 271 S.
Systemstelle
TCL
Schlagworte
Automatisches Beweisverfahren, Mengenlehre, Arithmetik, Mathematische Logik

Lade weitere Informationen...