Tallenna
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.
- Alaotsikko
- Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
- Toimittaja
- Kesav V. Nori, C.E. Veni Madhavan
- Painos
- 1990 ed.
- ISBN
- 9783540534877
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.12.1990
- Sivumäärä
- 424
