Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 29 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 29

book Resolution Proof Systems: An Algebraic Theory

Resolution Proof Systems: An Algebraic Theory

pdf

Author: Zbigniew Stachniak (auth.)
Language: English
Year: 1996

00

27.01.2024

0

0

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

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

pdf

Author: Dana S. Scott (auth.) Jacques Calmet John A. Campbell Jochen Pfalzgraf (eds.)
Language: English
Year: 1996

00

27.01.2024

3

0

book Einführung in Maple V

Einführung in Maple V

pdf

Author: K. M. Heal M. L. Hansen K. M. Rickard (auth.)
Language: German
Year: 1996

00

27.01.2024

0

0

book Introduction to Maple

Introduction to Maple

pdf

Author: André Heck (auth.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Advanced Relational Programming

Advanced Relational Programming

pdf

Author: Filippo Cacace Gianfranco Lamperti (auth.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Programmieren mit Maple V

Programmieren mit Maple V

pdf

Author: M. B. Monagan K. O. Geddes K. M. Heal G. Labahn S. M. Vorkoetter (auth.)
Language: German
Year: 1996

00

27.01.2024

0

0

book Parallel Algorithms for Irregular Problems: State of the Art

Parallel Algorithms for Irregular Problems: State of the Art

pdf

Author: Jorn Behrens (auth.) Afonso Ferreira José D. P. Rolim (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Geometric Modelling: Dagstuhl 1993

Geometric Modelling: Dagstuhl 1993

pdf

Author: Dr. R. E. Barnhill Dr. T. M. Frost (auth.) Prof. Dr. H. Hagen Prof. Dr. G. Farin Prof. Dr. H. Noltemeier (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Automated Practical Reasoning: Algebraic Approaches

Automated Practical Reasoning: Algebraic Approaches

pdf

Author: Jochen Pfalzgraf Dongming Wang (auth.) Dr. Jochen Pfalzgraf Dr. Dongming Wang (eds.)
Language: English
Year: 1995

00

27.01.2024

1

0

book Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings

pdf

Author: L. A. Bassalygo (auth.) Gérard Cohen Marc Giusti Teo Mora (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0