Spar
Foundations of Software Technology and Theoretical Computer Science
The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic.
- Undertittel
- Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
- Redaktør
- Kesav V. Nori, C.E. Veni Madhavan
- Opplag
- 1990 ed.
- ISBN
- 9783540534877
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 5.12.1990
- Antall sider
- 424
