| Shelfclass_id | 4.A |
| Sortkey | WOLLIC |
| Authors | Daniel Maurice Raphaäel Leivant, Ruy J. G. B. de Queiroz |
| Title | WoLLIC 2007: Logic, Language, Information, and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007: proceedings |
| Publisher | Springer |
| Year | c2007 |
| Languages | eng |
| Isbn | 3540734430, 9783540734437 |
| Series | Lecture Notes in Computer Science |
| Volume | 4576 |
| Issn | 0302-9743 |
| Description | (softcover: alk. paper) (softcover: alk. paper) x, 361 p. ill. 24 cm. |
| Record date | 20090220 |
| Location | New York |
| Keywords | Logic, Symbolic and mathematical |