Trends, Techniques, and Problems in Theoretical Computer Science
4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986
Seiten
1987
|
1987
Springer Berlin (Verlag)
978-3-540-18535-2 (ISBN)
Springer Berlin (Verlag)
978-3-540-18535-2 (ISBN)
Selected Contributions
Lower bound techniques for VLSI algorithms.- The equivalence of mappings on languages.- Kleene's theorem revisited.- Some combinatorial problems concerning finite languages.- A connection between descriptional complexity of context-free grammars and grammar form theory.- Basic ideas of selective substitution grammars.- Some recent restrictions in the derivation of context-free grammars.- Recent results on the theory of homogeneous structures.- A note on the ratio function in DOL systems.- Models for multicellular development: Characterization, inference and complexity of L-systems.- A formal model of knowledge-based systems.- Basic complexity analysis of hypothesis formation.- Perspectives of logic programming.
Erscheint lt. Verlag | 21.10.1987 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 220 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 370 g |
Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | Artificial Intelligence • formal grammar • formal language • Formal Languages • grammar • Grammars • Informatik • Informationsverarbeitung • Intelligence |
ISBN-10 | 3-540-18535-6 / 3540185356 |
ISBN-13 | 978-3-540-18535-2 / 9783540185352 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …
Buch | Hardcover (2023)
dpunkt Verlag
CHF 48,85
Lean UX und Design Thinking: Teambasierte Entwicklung …
Buch | Hardcover (2022)
dpunkt (Verlag)
CHF 48,85
Wissensverarbeitung - Neuronale Netze
Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 48,95