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...
Details
- Autor(en) / Beteiligte
- Titel
- Logic in computer science : modelling and reasoning about systems
- Auflage
- 2. ed
- Ort / Verlag
- Cambridge [u.a.] : Cambridge Univ. Press
- Erscheinungsjahr
- 2004
- Link zu anderen Inhalten
- Beschreibungen/Notizen
- Hier auch später erschienene, unveränderte Nachdrucke
- Sprache
- Englisch
- Identifikatoren
- ISBN: 052154310X, 9780521543101OCLC-Nummer: 249810058, 249810058Titel-ID: 990008865570106463
- Format
- XIV, 427 S. : graph. Darst.
- Systemstelle
- TVC
- Schlagworte
- Mathematische Logik, Informatik, Computer logic