Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992.

Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992.

Bibliografiset tiedot
Yhteisötekijä: International Conference AISMC-1 (1992 : Karlsruhe, Germany)
Muut tekijät: Calmet, Jacques, Campbell, John A. 1940-
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Berlin Springer-Verlag c1993.
Sarja:Lecture notes in computer science 737
Aiheet:
Artificial intelligence > Congresses.
Logic, Symbolic and mathematical > Congresses.