The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Pattern Recognition,Data Storage Representation,Communicati » Page 1391
Artificial Perception and Music Recognition
djvu
Author:
Andranick S. Tanguiane (eds.)
Language:
English
Year:
1993
0
0
26.01.2024
0
0
Read online
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
pdf
Author:
Jean-Raymond Abrial Dominique Cansell (auth.) David Basin Burkhart Wolff (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
Probabilistic Inductive Logic Programming: Theory and Applications
pdf
Author:
Luc De Raedt Kristian Kersting (auth.) Luc De Raedt Paolo Frasconi Kristian Kersting Stephen Muggleton (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
0
0
Read online
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
pdf
Author:
Susumu Hayashi Yohji Akama (auth.) Julian Bradfield (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
djvu
Author:
Tobias Nipkow (auth.) Jim Grundy Malcolm Newey (eds.)
Language:
English
Year:
1998
0
0
26.01.2024
0
0
Read online
Advances in Artificial Intelligence – SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings
pdf
Author:
Mario Benevides Carla Delgado Renata P. de Freitas Paulo A. S. Veloso (auth.) Ana L. C. Bazzan Sofiane Labidi (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions
pdf
Author:
H. Van Dyke Parunak James J. Odell (auth.) Michael J. Wooldridge Gerhard Weiß Paolo Ciancarini (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
2
0
Read online
Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings
djvu
Author:
Josef Grosch (auth.) Uwe Kastens Peter Pfahler (eds.)
Language:
English
Year:
1992
0
0
26.01.2024
1
0
Read online
Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings
djvu
Author:
Joseph A. Goguen (auth.) Hélène Kirchner Wolfgang Wechler (eds.)
Language:
English
Year:
1990
0
0
26.01.2024
0
0
Read online
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
djvu
Author:
Leo Bachmair (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
1
...
1387
1388
1389
1390
1391
1392
1393
1394
1395
...
1425
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через