Books · Search
Logique symbolique et mathématique · Symbolic and mathematical Logic
Artificial intelligence and symbolic computation
2006
Artificial intelligence and symbolic mathematical computing
1993
Intelligent Computer Mathematics
2010
Artificial intelligence · Logic, symbolic and mathematical
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Computer algorithms · Congresses
Algebraic Algorithms and Error-Correcting Codes (Lecture Notes in Computer Science)
1986
Analyse des diagrammes de feynman par ordinateur
1970
Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1 Karlsruhe, Germany, August 3-6, 1992
Feynman diagrams · Radiative corrections
An attempt to evaluate renormalized radiative corrections by computer
1969
