Fundraising September 15, 2024 – October 1, 2024 About fundraising

Journal of Symbolic Computation, Volume 8, issues 1-6 issue...

Main
Journal of Symbolic Computation, Volume...

Journal of Symbolic Computation, Volume 8, issues 1-6 issue 1-6

Bruno Buchberger (Editor)

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Year:

1989

Publisher:

Academic Press

Language:

english

Pages:

680

File:

DJVU, 6.88 MB

IPFS:

,

english, 1989

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 4, issues 1-3 issue 1-3

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 11, issues 1-6 issue 1-6

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 7, issues 1-6 issue 1-6

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 3, issues 1-3 issue 1-3

Samson Abramsky (auth.), Josep Diaz (eds.) — Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Deepak Kapur (auth.), Harald Ganzinger (eds.) — Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Hassan Aït-Kaci, Maurice Nivat — Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques

Hassan Aït-Kaci, Maurice Nivat — Resolution of Equations in Algebraic Structures, Volume 2: Rewriting Techniques

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 17, issues 1-6 issue 1-6

Dario Bini, Victor Pan (auth.), Bob F. Caviness (eds.) — EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions

D. A. Wolfram — The Clausal Theory of Types

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 14, issues 1-5 issue 1-5

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 12, issues 1-6

Jan Grabowski (editor); Pierre Lescanne (editor); Wolfgang Wechler (editor) — Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988

Hubert Comon Claude Marché Ralf Treinen (eds.) — Constraints in Computational Logics. Theory and Applications CCL ’99

Franco P. Preparata (auth.), Kesav V. Nori, Sanjeev Kumar (eds.) — Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) — 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Maurizio Gabbrielli, Giorgio Levi (auth.), Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo (eds.) — Automata, Languages and Programming: 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings

Francois Bronsard, Uday S. Reddy (auth.), S. Kaplan, M. Okada (eds.) — Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings

G. S. Makanin (auth.), Habib Abdulrab, Jean-Pierre Pécuchet (eds.) — Word Equations and Related Topics: Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings

Manuel Blum (auth.), Andrzej Lingas, Rolf Karlsson, Svante Carlsson (eds.) — Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings

Wayne Snyder (auth.), Jean-Pierre Jouannaud (eds.) — Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.) — Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Alexander Bockmayr, Friedrich Eisenbrand (auth.), Hélène Kirchner, Christophe Ringeissen (eds.) — Frontiers of Combining Systems: Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings

Jörg H. Siekmann (auth.), R. E. Shostak (eds.) — 7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings

Most frequently terms