Shelfclass_id | 4.B.3 |
Sortkey | FROCOS |
Authors | Franz Baader, Klaus U. Schulz |
Title | FroCoS '96: Frontiers of Combining Systems: 1st International Workshop, Munich, March 1996 |
Publisher | Kluwer Academic Publishers |
Year | c1996 |
Languages | eng |
Isbn | 0792342712 |
Series | Applied logic series |
Volume | 3 |
Description | xi, p. 388 ill. 25 cm. |
Record date | 20061025 |
Location | Boston |
Keywords | Logic, Symbolic and mathematical, Computer science |