Artificial Intelligence and Symbolic Computation:...

Main
Computers - Computer Science
Artificial Intelligence and Symbolic...

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Name: Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
ISBN: 9783540649601

Luc De Raedt (auth.), Jacques Calmet, Jan Plaza (eds.)

0 / 0

0 comments

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.
The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.

Կատեգորիաներ:

Computers - Computer Science

Տարի:

1998

Հրատարակում:

Հրատարակչություն:

Springer-Verlag Berlin Heidelberg

Լեզու:

english

Էջեր:

316

ISBN 10: