| Shelfclass_id | 4.B.3 |
| Sortkey | FROCOS |
| Authors | Dov M. Gabbay, Maarten de Rijke |
| Title | FroCoS '98: Frontiers of Combining Systems: 2nd International Workshop |
| Publisher | Research Studies Press |
| Year | 2000 |
| Languages | eng |
| Isbn | 0863802524 |
| Series | Studies in logic and computation |
| Volume | 7 |
| Description | xiii, 407 p. ill. 24 cm. |
| Record date | 20061025 |
| Location | Philadelphia, PA |
| Keywords | Logic, Symbolic and mathematical, Computer science |