Artificial Intelligence, Automated Reasoning, and Symbolic ComputationJacques Calmet

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque · 2006

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2006
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783540454700

Data source: Wikidata

More by Jacques Calmet

Artificial intelligence and symbolic computationJacques Calmet

Artificial intelligence and symbolic computation

Jacques Calmet · 2006

Artificial intelligence and symbolic mathematical computingJacques Calmet

Artificial intelligence and symbolic mathematical computing

Jacques Calmet · 1993

Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1 Karlsruhe, Germany, August 3-6, 1992Jacques Calmet

Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1 Karlsruhe, Germany, August 3-6, 1992

Jacques Calmet · 1993