Artificial Intelligence and Symbolic Computation
7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Bruno Buchberger
Themen in »Artificial Intelligence and Symbolic Computation«
Variable algorithms automated deduction automated reasoning computational logics computational mathematics computeralgebra constraint processing expert system intelligence proving semantics symbolic computation theorem proving systems verification
Stimmen zu »Artificial Intelligence and Symbolic Computation«
Details
ISBN: 9783540232124
Verlag: Springer Berlin
Erscheinung: 10.09.2004