Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integr

zbMath0993.00048MaRDI QIDQ1613677

No author found.

Publication date: 1 September 2002

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsSymposiumArtificial intelligenceMarseille (France)Symbolic computationAutomated reasoningAISC 2002Calculemus 2002

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

Related Items (1)

Evaporation of Dynamical Horizon with the Hawking Temperature in the K‐essence Emergent Vaidya Spacetime

Uses Software

• Unnamed Item

This page was built for publication: Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integr