Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Information Storage and Retrieval,Database Management,Busin » Page 1408 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Information Storage and Retrieval,Database Management,Busin » Page 1408

book Machine Learning and Its Applications: Advanced Lectures

Machine Learning and Its Applications: Advanced Lectures

djvu

Author: Yves Kodratoff (auth.) Georgios Paliouras Vangelis Karkaletsis Constantine D. Spyropoulos (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

pdf

Author: Mutsunori Banbara Naoyuki Tamura Katsumi Inoue (auth.) Masanobu Umeda Armin Wolf Oskar Bartenstein Ulrich Geske Dietmar Seipel Osamu Takata (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

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 Intelligent Information Integration for the Semantic Web

Intelligent Information Integration for the Semantic Web

djvu

Author: Ubbo Visser (auth.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

pdf

Author: Yonit Kesten Amir Pnueli Li-on Raviv (auth.) Kim G. Larsen Sven Skyum Glynn Winskel (eds.)
Language: English
Year: 1998

00

26.01.2024

2

0

book Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings

Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings

pdf

Author: Jose L. Balcázar Philip M. Long Frank Stephan (auth.) José L. Balcázar Philip M. Long Frank Stephan (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

djvu

Author: Nicolas Halbwachs (auth.) Alan J. Hu Moshe Y. Vardi (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

pdf

Author: Doron Peled (auth.) Rajeev Alur Doron A. Peled (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Algorithmic Learning Theory: 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings

Algorithmic Learning Theory: 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings

djvu

Author: Leslie G. Valiant (auth.) Setsuo Arikawa Arun K. Sharma (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

pdf

Author: W. Bibel D. Korn C. Kreitz F. Kurucz (auth.) Norbert E. Fuchs (eds.)
Language: English
Year: 1998

00

26.01.2024

3

0