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 6 von 6
    Datensatz exportieren als...
  • BibTeX
Truth, deduction and computation : logic and semantics for computer science
Principles of computer science series
1. [Dr.], 1989
Signatur: TVD1795

Details

Autor(en) / Beteiligte
Titel
Truth, deduction and computation : logic and semantics for computer science
Ist Teil von
  • Principles of computer science series
Auflage
1. [Dr.]
Ort / Verlag
New York : Computer Science Pr.
Erscheinungsjahr
1989
Sprache
–
Identifikatoren
ISBN: 0716782014
OCLC-Nummer: 246839819, 246839819
Titel-ID: 990005340560106463
Format
XV, 265 S.
Systemstelle
TVD
Schlagworte
Aussagenlogik, Formale Sprache, Semantik, Prädikatenlogik, Elementare Zahlentheorie, Lambda-Kalkül

Lade weitere Informationen...