Filter
Sökt på: Sökresultat
Filter
totalt 4 träffar
Logic for Programming, Artificial Intelligence, and Reasoning
E-bok,
2005,
Engelska,
ISBN 9783540322757
Automated Deduction - CADE-19
E-bok,
2003,
Engelska,
ISBN 9783540450856
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are …
KI 2001: Advances in Artificial Intelligence
E-bok,
2003,
Engelska,
ISBN 9783540454229
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference …
Term Rewriting and Applications
E-bok,
2007,
Engelska,
ISBN 9783540734499
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the …