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 24 von 80
    Datensatz exportieren als...
  • BibTeX
Deduction systems
Graduate texts in computer science
1997
Signatur: TVD2092

Details

Autor(en) / Beteiligte
Titel
Deduction systems
Ist Teil von
  • Graduate texts in computer science
Ort / Verlag
New York [u.a.] : Springer
Erscheinungsjahr
1997
Sprache
Englisch
Identifikatoren
ISBN: 0387948473
OCLC-Nummer: 845236029, 845236029
Titel-ID: 990007159240106463
Format
XII, 206 S. : graph. Darst.
Systemstelle
TVD
Schlagworte
Deduktionssystem

Lade weitere Informationen...