The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (inc » Page 1390
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
pdf
Author:
Maarten Marx (auth.) Luke Ong (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
1
0
Read online
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
pdf
Author:
Mohammed J. Zaki Nagender Parimi Nilanjana De Feng Gao (auth.) Bernhard Ganter Robert Godin (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
3
0
Read online
Algorithmic Learning Theory: 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings
pdf
Author:
Michael M. Richter Carl H. Smith Rolf Wiehagen Thomas Zeugmann (auth.) Michael M. Richter Carl H. Smith Rolf Wiehagen Thomas Zeugmann (eds.)
Language:
English
Year:
1998
0
0
26.01.2024
3
0
Read online
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
26.01.2024
0
0
Read online
Reasoning with Logic Programming
djvu
Author:
José Júlio Alferes Luís Moniz Pereira (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings
pdf
Author:
Rudolf Wille (auth.) Peter Eklund (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
pdf
Author:
Xavier Leroy (auth.) Franz Baader (eds.)
Language:
English
Year:
2007
0
0
26.01.2024
0
0
Read online
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
pdf
Author:
Norbert E. Fuchs Uta Schwertel (auth.) Pierre Flener (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
pdf
Author:
Mirian Andrés Laureano Lambán Julio Rubio (auth.) Manuel Kauers Manfred Kerber Robert Miner Wolfgang Windsteiger (eds.)
Language:
English
Year:
2007
0
0
26.01.2024
0
0
Read online
Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings
djvu
Author:
Stefan Näher Kurt Mehlhorn (auth.) Michael S. Paterson (eds.)
Language:
English
Year:
1990
0
0
26.01.2024
0
0
Read online
1
...
1386
1387
1388
1389
1390
1391
1392
1393
1394
...
1425
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
