Тема, жанр, tags: Symbolic and Algebraic Manipulation,Programming Languages Compilers Interpreters,Artificial Intellig » Page 31 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Symbolic and Algebraic Manipulation,Programming Languages Compilers Interpreters,Artificial Intellig » Page 31

book Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics

Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics

pdf

Author: F. Brackx D. Constales (auth.)
Language: English
Year: 1991

00

27.01.2024

0

0

book Informatik und Mathematik

Informatik und Mathematik

pdf

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

00

27.01.2024

0

0

book Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

pdf

Author: H. Andréka B. Jónsson I. Németi (auth.) Clifford H. Bergman Roger D. Maddux Don L. Pigozzi (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Symbolic and Algebraic Computation: International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings

Symbolic and Algebraic Computation: International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings

pdf

Author: G. Ausiello A. Marchetti Spaccamela U. Nanni (auth.) P. Gianni (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book Computers and Mathematics

Computers and Mathematics

pdf

Author: Deepak Kapur Klaus Madlener (auth.) Erich Kaltofen Stephen M. Watt (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

pdf

Author: Garrett Birkhoff (auth.) Nachum Dershowitz (eds.)
Language: English
Year: 1989

00

27.01.2024

1

0

book Applications of Computer Technology to Dynamical Astronomy: Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988

Applications of Computer Technology to Dynamical Astronomy: Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988

pdf

Author: Raynor L. Duncombe (auth.) P. Kenneth Seidelmann Jean Kovalevsky (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

pdf

Author: Klaus Drosten (auth.)
Language: German
Year: 1989

00

27.01.2024

0

0

book LISP Lore: A Guide to Programming the LISP Machine

LISP Lore: A Guide to Programming the LISP Machine

pdf

Author: Hank Bromley Richard Lamson (auth.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Lisp Lore: A Guide to Programming the Lisp Machine

Lisp Lore: A Guide to Programming the Lisp Machine

pdf

Author: Hank Bromley (auth.)
Language: English
Year: 1986

00

27.01.2024

0

0