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

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

book Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

pdf

Author: Larry Wos (auth.) Maria Paola Bonacina Mark E. Stickel (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Handbook on Neural Information Processing

Handbook on Neural Information Processing

pdf

Author: Yoshua Bengio Aaron Courville (auth.) Monica Bianchini Marco Maggini Lakhmi C. Jain (eds.)
Language: English
Year: 2013

00

06.02.2024

1

0

book SmartShadow: Models and Methods for Pervasive Computing

SmartShadow: Models and Methods for Pervasive Computing

pdf

Author: Zhaohui Wu Gang Pan (auth.)
Language: English
Year: 2013

00

06.02.2024

1

0

book Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I

Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I

pdf

Author: Olga Russakovsky Li Fei-Fei (auth.) Kiriakos N. Kutulakos (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Advances in Fuzzy Implication Functions

Advances in Fuzzy Implication Functions

pdf

Author: Sebastià Massanet Joan Torrens (auth.) Michał Baczyński Gleb Beliakov Humberto Bustince Sola Ana Pradera (eds.)
Language: English
Year: 2013

00

06.02.2024

1

0

book New Paradigms in Internet Computing

New Paradigms in Internet Computing

pdf

Author: Waris Chanei Sakuna Charoenpanyasak (auth.) Srikanta Patnaik Piyu Tripathy Sagar Naik (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA)

Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA)

pdf

Author: Dash Ch. Sanjeev Kumar Pandia Manoj Kumar (auth.) Suresh Chandra Satapathy Siba K. Udgata Bhabendra Narayan Biswal (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

pdf

Author: Robert Demolombe (auth.) Thomas Ågotnes Jan Broersen Dag Elgesem (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Advances in Brain Inspired Cognitive Systems: 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings

Advances in Brain Inspired Cognitive Systems: 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings

pdf

Author: Daniel J. Olsher (auth.) Huaguang Zhang Amir Hussain Derong Liu Zhanshan Wang (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

pdf

Author: Gwendoline Fox Juliette Thuilier (auth.) Daniel Lassiter Marija Slavkovik (eds.)
Language: English
Year: 2012

00

06.02.2024

2

0