Zur Ergebnisliste
Ergebnis 8 von 1411
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...
    Datensatz exportieren als...
  • BibTeX
Tense logic
Synthese library : 111 (Alle Bände)
1976
Signatur: TCL2436, TCL2737

Details

Autor(en) / Beteiligte
Titel
Tense logic
Ist Teil von
Ort / Verlag
Dordrecht [u.a.] : Reidel
Erscheinungsjahr
1976
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 9027706972
OCLC-Nummer: 252535660, 252535660
Titel-ID: 990001923490106463
Format
84 S.
Systemstelle
TCL
Schlagworte
Temporale Logik

Lade weitere Informationen...