The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 20
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
0
0
27.01.2024
1
0
Read online
Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings
pdf
Author:
Robert Nieuwenhuis José Miguel Rivero (auth.) Paliath Narendran Michael Rusinowitch (eds.)
Language:
English
Year:
1999
0
0
27.01.2024
0
0
Read online
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15–19, 1999 Proceedings
pdf
Author:
G. David Forney Jr. (auth.) Marc Fossorier Hideki Imai Shu Lin Alain Poli (eds.)
Language:
English
Year:
1999
0
0
27.01.2024
0
0
Read online
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings
pdf
Author:
Eugene C. Freuder (auth.) Jacques Calmet Belaid Benhamou Olga Caprotti Laurent Henocque Volker Sorge (eds.)
Language:
English
Year:
2002
0
0
27.01.2024
0
0
Read online
Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings
pdf
Author:
Natarajan Shankar Harald Rueß (auth.) Sophie Tison (eds.)
Language:
English
Year:
2002
0
0
27.01.2024
0
0
Read online
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 14th International Symposium, AAECC-14 Melbourne, Australia, November 26–30, 2001 Proceedings
pdf
Author:
James L. Massey (auth.) Serdar Boztaş Igor E. Shparlinski (eds.)
Language:
English
Year:
2001
0
0
27.01.2024
0
0
Read online
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
0
0
27.01.2024
0
0
Read online
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
0
0
27.01.2024
0
0
Read online
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
pdf
Author:
David Aspinall Donald Sannella (auth.) Hélène Kirchner Christophe Ringeissen (eds.)
Language:
English
Year:
2002
0
0
27.01.2024
1
0
Read online
Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
pdf
Author:
Henk Barendregt (auth.) Aart Middeldorp (eds.)
Language:
English
Year:
2001
0
0
27.01.2024
0
0
Read online
1
...
16
17
18
19
20
21
22
23
24
...
75
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
