MPG.eBooks - Search Results

1

Pascal : Algebra — Numerik — Computergraphik

by Fedtke, Stephen
Published 1987

Vieweg+Teubner Verlag

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

2

LISP Lore: A Guide to Programming the LISP Machine

by Bromley, H., Lamson, Richard
Published 1987

Springer US

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

3

Lisp Lore: A Guide to Programming the Lisp Machine

by Bromley, H.
Published 1986

Springer US

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

4

Resolution Proof Systems : An Algebraic Theory

by Stachniak, Z.
Published 1996

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

5

Automated Reasoning : Essays in Honor of Woody Bledsoe

Published 1991

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

6

Diagnosis of Active Systems : Principles and Techniques

by Lamperti, G., Zanella, Marina
Published 2003

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

7

Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

8

Frontiers of Combining Systems : First International Workshop, Munich, March 1996

Published 1996

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

9

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Published 1998

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

10

Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

11

Geometric Computing with Clifford Algebras : Theoretical Foundations and Applications in Computer Vision and Robotics

Published 2001

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

12

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

Published 1993

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

13

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II

Published 2002

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

14

Instantiation Theory : On the Foundations of Automated Deduction

by Williams, James G.
Published 1991

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

15

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings

Published 2004

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

16

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceeding...

Published 2002

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

17

Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

18

Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Published 2003

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

19

Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990

Published 1990

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

20

Advanced Relational Programming

by Cacace, F., Lamperti, G.
Published 1996

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Narrow Search