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 136
    Datensatz exportieren als...
  • BibTeX
A Computational logic handbook
Perspectives in computing : 23 (Alle Bände)
1. [Dr.], 1988
Signatur: TVH2076

Details

Autor(en) / Beteiligte
Titel
A Computational logic handbook
Ist Teil von
Auflage
1. [Dr.]
Ort / Verlag
Boston [u.a.] : Academic Pr.
Erscheinungsjahr
1988
Sprache
–
Identifikatoren
ISBN: 0121229521
OCLC-Nummer: 243118258, 243118258
Titel-ID: 990005032020106463
Format
XVI, 408 S.
Systemstelle
TVH
Schlagworte
Mathematische Logik, Entscheidbarkeit, Automatisches Beweisverfahren

Lade weitere Informationen...