Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings » Page 1541 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings » Page 1541

book Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

djvu

Author: Ofer Arieli Arnon Avron (auth.) Dirk van Dalen Marc Bezem (eds.)
Language: English
Year: 1997

00

26.01.2024

1

0

book Advances in Data Mining: Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Paper

Advances in Data Mining: Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Paper

pdf

Author: Juan M. Corchado M. Lourdes Borrajo María A. Pellicer J. Carlos Yáñez (auth.) Petra Perner (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Algorithmic Learning Theory: 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings

Algorithmic Learning Theory: 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings

pdf

Author: Naoki Abe Roni Khardon Thomas Zeugmann (eds.)
Language: English
Year: 2001

00

26.01.2024

2

0

book Computable Models

Computable Models

pdf

Author: Raymond Turner (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book 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

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

00

26.01.2024

2

0

book Neural Networks: Tricks of the Trade

Neural Networks: Tricks of the Trade

djvu

Author: Genevieve B. Orr Klaus-Robert Müller (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

pdf

Author: Constance L. Heitmeyer (auth.) Klaus Schneider Jens Brandt (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

pdf

Author: Willem-Paul de Roever (auth.) Willem-Paul de Roever Hans Langmaack Amir Pnueli (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

pdf

Author: Andrew Eremin Mark Wallace (auth.) Toby Walsh (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

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

00

26.01.2024

1

0