Lecture notes in computer science, 1990, Vol.440
1990
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- CSL'89: 3rd workshop on computer science logic: [selected papers], Kaiserslautern, FRG, October 2-6, 1989
- Ist Teil von
- Lecture notes in computer science, 1990, Vol.440
- Ort / Verlag
- Berlin: Springer
- Erscheinungsjahr
- 1990
- Quelle
- Alma/SFX Local Collection
- Sprache
- Englisch
- Identifikatoren
- ISSN: 0302-9743eISSN: 1611-3349Titel-ID: cdi_pascalfrancis_primary_6927999
- Format
- –
- Schlagworte
- Applied sciences, Computer science, control theory, systems, Exact sciences and technology, Theoretical computing