Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Pattern Recognition,Data Storage Representation,Communicati » Page 1391 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Pattern Recognition,Data Storage Representation,Communicati » Page 1391

book Artificial Perception and Music Recognition

Artificial Perception and Music Recognition

djvu

Author: Andranick S. Tanguiane (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

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

00

26.01.2024

0

0

book Probabilistic Inductive Logic Programming: Theory and Applications

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

00

26.01.2024

0

0

book Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

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

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

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

00

26.01.2024

0

0

book Advances in Artificial Intelligence – SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings

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

00

26.01.2024

0

0

book Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions

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

00

26.01.2024

2

0

book Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings

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

00

26.01.2024

1

0

book Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings

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

00

26.01.2024

0

0

book Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

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

00

26.01.2024

0

0