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

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

book Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

pdf

Author: Vladimir P. Gerdt Wolfram Koepf Werner M. Seiler Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

pdf

Author: Gilles Dowek (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

pdf

Author: Stephen M. Watt James H. Davenport Alan P. Sexton Petr Sojka Josef Urban (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Informatik und Mathematik

Informatik und Mathematik

djvu

Author: Roland Bulirsch (auth.) Prof. Dr. Manfred Broy (eds.)
Language: German
Year: 1991

00

27.01.2024

0

0

book Advances in Combinatorial Mathematics: Proceedings of the Waterloo Workshop in Computer Algebra 2008

Advances in Combinatorial Mathematics: Proceedings of the Waterloo Workshop in Computer Algebra 2008

pdf

Author: Georgy P. Egorychev (auth.) Ilias S. Kotsireas Eugene V. Zima (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Resolution proof systems: an algebraic theory

Resolution proof systems: an algebraic theory

djvu

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

00

27.01.2024

0

0

book Algebraic and Algorithmic Aspects of Differential and Integral Operators: 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Algebraic and Algorithmic Aspects of Differential and Integral Operators: 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

pdf

Author: Moulay Barkatou Thomas Cluzeau Georg Regensburger Markus Rosenkranz (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Computeralgebra: Eine algorithmisch orientierte Einführung

Computeralgebra: Eine algorithmisch orientierte Einführung

pdf

Author: Prof. Dr. Wolfram Koepf (auth.)
Language: German
Year: 2006

00

27.01.2024

0

0

book Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

pdf

Author: Peter Höfner Peter Jipsen Wolfram Kahl Martin Eric Müller (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

pdf

Author: Adrian-Horia Dediu Carlos Martín-Vide José-Luis Sierra-Rodríguez Bianca Truthe (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0