Тема, жанр, tags: Symbolic and Algebraic Manipulation,Algorithm Analysis and Problem Complexity,Combinatorics,Group Th » Page 93 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Symbolic and Algebraic Manipulation,Algorithm Analysis and Problem Complexity,Combinatorics,Group Th » Page 93

book Fundamental Algorithms for Permutation Groups

Fundamental Algorithms for Permutation Groups

pdf

Author: G. Butler (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

pdf

Author: Davide Ancona Giovanni Lagorio Elena Zucca (auth.) Stefano Berardi Ferruccio Damiani Ugo de’Liguoro (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

pdf

Author: Raymond Bisdorff Marc Roubens (auth.) Rudolf Berghammer Bernhard Möller Georg Struth (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

pdf

Author: Paolo Baldan Paolo Mancarella Alessandra Raffaetà Franco Turini (auth.) Antonis C. Kakas Fariba Sadri (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

djvu

Author: Markus Rosenkranz (auth.) Bruno Buchberger John Campbell (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computational Methods and Function Theory: Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989

Computational Methods and Function Theory: Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989

pdf

Author: Roger W. Barnard (auth.) Stephan Ruscheweyh Edward B. Saff Luis C. Salinas Richard S. Varga (eds.)
Language: English
Year: 1990

00

26.01.2024

1

0

book Algorithmic Topology and Classification of 3-Manifolds

Algorithmic Topology and Classification of 3-Manifolds

pdf

Author: Sergei Matveev (auth.)
Language: English
Year: 2003

00

26.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

bz2

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

00

26.01.2024

0

0

book Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

bz2

Author: R. N. Fedorova V. P. Gerdt N. N. Govorun V. P. Shirikov (auth.) James H. Davenport (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

djvu

Author: R. N. Fedorova V. P. Gerdt N. N. Govorun V. P. Shirikov (auth.) James H. Davenport (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0