| Shelfclass_id | 3.A |
| Sortkey | LCC |
| Authors | Daniel Leivant |
| Title | LCC 1994: Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994: selected papers |
| Publisher | Springer Pub. Co. |
| Year | 1995 |
| Languages | eng |
| Isbn | 3540601783 |
| Series | Lecture Notes in Computer Science |
| Volume | 960 |
| Issn | 0302-9743 |
| Description | (softcover: alk. paper) viii, 514 p. ill. 24 cm |
| Record date | 20060627 |
| Location | New York |
| Keywords | Logic, Symbolic and mathematical, Computational complexity |