The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Artificial Intelligence » Page 71
Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proce
pdf
Author:
Ernie Cohen (auth.) Renate A. Schmidt (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
2
0
Read online
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
djvu
Author:
Garrett Birkhoff (auth.) Nachum Dershowitz (eds.)
Language:
English
Year:
1989
0
0
26.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
26.01.2024
0
0
Read online
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
pdf
Author:
Yoshihito Toyama (auth.) Jürgen Giesl (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
1
0
Read online
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings
djvu
Author:
A. R. Calderbank P. C. Fishburn (auth.) Gérard Cohen Teo Mora Oscar Moreno (eds.)
Language:
English
Year:
1993
0
0
26.01.2024
0
0
Read online
Fast Software Encryption: 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003. Revised Papers
pdf
Author:
Håvard Raddum (auth.) Thomas Johansson (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
LATIN '92: 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings
djvu
Author:
Paola Alimonti Esteban Feuerstein Umberto Nanni (auth.) Imre Simon (eds.)
Language:
English
Year:
1992
0
0
26.01.2024
1
0
Read online
Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
pdf
Author:
Ekaterina Auer Andreas Rauh (auth.) Peter Hertling Christoph M. Hoffmann Wolfram Luther Nathalie Revol (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
2
0
Read online
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings
djvu
Author:
L. A. Bassalygo (auth.) Gérard Cohen Marc Giusti Teo Mora (eds.)
Language:
English
Year:
1995
0
0
26.01.2024
0
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
26.01.2024
0
0
Read online
1
...
66
67
68
69
70
71
72
73
74
75
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
