|
|
|
Item Details
Title:
|
FRONTIERS OF COMBINING SYSTEMS
FIRST INTERNATIONAL WORKSHOP, MUNICH, MARCH 1996 |
Volume: |
1st |
By: |
Franz Baader (Editor), Klaus U. Schulz (Editor) |
Format: |
Hardback |
List price:
|
£72.00 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0792342712 |
ISBN 13: |
9780792342717 |
Publisher: |
KLUWER ACADEMIC PUBLISHERS |
Pub. date: |
31 October, 1996 |
Series: |
Applied Logic Series v. 3 |
Pages: |
388 |
Description: |
Contains research papers that consider the problem of combining formal systems, algorithms, and software tools from the perspectives of logic, computer science, and artificial intelligence. This book emphasises on logical systems, automated deduction, and constraint logic programming, and also addresses topics such as computer algebra systems. |
Synopsis: |
This volume contains research papers that consider the problem of combining formal systems, algorithms, and software tools from the different perspectives of logic, computer science, and artificial intelligence. The emphasis lies on logical systems, automated deduction, and constraint logic programming, but topics like computer algebra systems and the logic modeling of multi-agent systems are also addressed. |
Illustrations: |
Illustrations |
Publication: |
US |
Imprint: |
Kluwer Academic Publishers |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|