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

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

book Algorithmic Number Theory: 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

Algorithmic Number Theory: 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

pdf

Author: Nigel Boston Harris Nover (auth.) Florian Hess Sebastian Pauli Michael Pohst (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Algorithmic Number Theory: 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

Algorithmic Number Theory: 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

pdf

Author: Ernie Croot Andrew Granville Robin Pemantle Prasad Tetali (auth.) Alfred J. van der Poorten Andreas Stein (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

djvu

Author: J. R. Kennaway J. W. Klop M. R. Sleep (auth.) Ronald V. Book (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

pdf

Author: Randal E. Bryant (auth.) Frank Pfenning (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

djvu

Author: Yaniv Bargury Johann Makowsky (auth.) Egon Börger Gerhard Jäger Hans Kleine Büning Michael M. Richter (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Algorithmic Number Theory: 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000. Proceedings

Algorithmic Number Theory: 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000. Proceedings

pdf

Author: Jin-Yi Cai (auth.) Wieb Bosma (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Algorithmic Number Theory: First International Symposium, ANTS-I Ithaca, NY, USA, May 6–9, 1994 Proceedings

Algorithmic Number Theory: First International Symposium, ANTS-I Ithaca, NY, USA, May 6–9, 1994 Proceedings

djvu

Author: W. R. Alford Andrew Granville Carl Pomerance (auth.) Leonard M. Adleman Ming-Deh Huang (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

pdf

Author: María Alpuente Santiago Escobar José Iborra (auth.) Andrei Voronkov (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

djvu

Author: C. P. Schnorr (auth.) Robert Cori Martin Wirsing (eds.)
Language: English
Year: 1988

00

26.01.2024

2

0

book Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

pdf

Author: Xavier Leroy (auth.) Franz Baader (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0