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
    Datensatz exportieren als...
  • BibTeX
Hyperproof
CSLI lecture notes : 42 (Alle Bände)
1994
Signatur: TCL4349

Details

Autor(en) / Beteiligte
Titel
Hyperproof
Ist Teil von
Ort / Verlag
Stanford, Calif. : Center for the Study of Language and Information [u.a.]
Erscheinungsjahr
1994
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Systemanforderungen: Laufwerk 3.5"
Sprache
Englisch
Identifikatoren
ISBN: 1881526119
OCLC-Nummer: 1070665408, 1070665408
Titel-ID: 990006795970106463
Format
XVII, 255 S. : graph. Darst.; 1 Diskette
Systemstelle
TCL
Schlagworte
Prädikatenlogik, Hyperproof

Lade weitere Informationen...