عنوان

Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings

103580

بها‌ر۴۷

English

)20(

International Conference AISMC-1, )2991: Karlsruhe, Germany(

Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings

Berlin

Springer-Verlag

c1993

305 p. : ill. ; 24 cm

Lecture notes in computer science; 737

Includes bibliographical references

، Artificial intelligence-- Congresses

، Logic, Symbolic and mathematical-- Congresses

334

I5488

1992

Jacques Calmet, John A. Campbell )eds(

AU seuqcaJ ,temlaC

AU A .J ,llebpmaC 1940-