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

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

book Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

djvu

Author: Claude Kirchner (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Pairing-Based Cryptography – Pairing 2007: First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings

Pairing-Based Cryptography – Pairing 2007: First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings

pdf

Author: Dan Boneh (auth.) Tsuyoshi Takagi Tatsuaki Okamoto Eiji Okamoto Takeshi Okamoto (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Sets, logic and maths for computing

Sets, logic and maths for computing

pdf

Author: David Makinson (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

pdf

Author: Roswitha Bardohl Martin Groβe-Rhode (auth.) Maura Cerioli Gianna Reggio (eds.)
Language: English
Year: 2001

00

26.01.2024

2

0

book Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

djvu

Author: William McCune (auth.) Hubert Comon (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Implicit curves and surfaces: mathematics, data structures and algorithms

Implicit curves and surfaces: mathematics, data structures and algorithms

pdf

Author: Abel J. P. Gomes Irina Voiculescu Joaquim Jorge Brian Wyvill Callum Galbraith (eds.)
Language: English
Year: 2009

00

26.01.2024

5

0

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