This document is written for readers who want a first impression of the capabilities of OWL. It provides an introduction to OWL by informally describing the features of each of the sublanguages of OWL.
J. Solà, J. Deray, и D. Atchuthan. (2018)cite arxiv:1812.01537Comment: 17 pages, 12 figures, 7 boxed examples, 193 numbered equations. V2 add chapter with a application examples. V3 fix biblio error and remove the reference to a not-yet-published library in C++. V4 add again the reference to the C++ library "manif", which is made available with this version 4. V5 fix formulas (163) and (179). V6, V7 fix typos. V8 fix sign in eq 149.
V. Mazurov, и E. Khukhro. (2014)cite arxiv:1401.0300Comment: A few new solutions and references have been added. Preparation of the next 19th issue is underway, new problems are welcome, as well as comments on previous editions.
T. Mossakowski, M. Roggenbach, и L. Schröder. Coalgebraic Methods in Computer Science, том 82 из Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
F. Dylla, T. Mossakowski, T. Schneider, и D. Wolter. Proceedings of Conference On Spatial Information Theory 2013, том 8116 из Lecture Notes in Computer Science, стр. 516--536. Springer-Verlag Berlin Heidelberg, (2013)
A. Cheik Ahamed, и F. Magoulès. High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on, стр. 836-842. (июня 2012)
A. Cheik Ahamed, и F. Magoulès. High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on, стр. 1307-1314. (июня 2012)
F. Magoulès, A. Cheik Ahamed, A. Desmaison, J. Lechenet, F. Mayer, H. Ben Salem, и T. Zhu. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, стр. 304-311. (августа 2014)
A. Cheik Ahamed, и F. Magoulès. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, стр. 121-128. (августа 2014)
A. Cheik Ahamed, и F. Magoulès. Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2014 13th International Symposium on, стр. 19-23. (ноября 2014)
A. Cheik Ahamed, A. Desmaison, и F. Magoulès. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, стр. 129-136. (августа 2014)
C. Abal-Kassim, и M. Frédéric. Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2014 13th International Symposium on, стр. 46-50. (ноября 2014)
A. Cheik Ahamed, и F. Magoulès. High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, стр. 54-61. (августа 2014)
B. Keller. (1999)cite http://arxiv.org/abs/math/9910179arxiv:math/9910179Comment: 30 pages, expanded version, sketches of proofs added, references updated, final version to appear in Homology, Homotopy and Applications.
C. Curtis, и I. Reiner. Wiley Classics Library John Wiley & Sons, Inc., New York, (1990)With applications to finite groups and orders, Reprint of the 1981 original, A Wiley-Interscience Publication.
R. Sharipov. (2004)cite arxiv:math/0405323Comment: The textbook, AmSTeX, 143 pages, amsppt style, prepared for double side printing on letter size paper.
U. Priss. Proceedings of the 17th International Conference on Conceptual Structures (ICCS 2009), том 5662 из Lecture Notes in Computer Science, стр. 257-269. Springer, (2009)
X. Zhang, B. Pielech, и E. Rundesnteiner. Proceedings of the 4th international workshop on Web information and data management, стр. 15--22. New York, NY, USA, ACM, (2002)
V. Mihajlović, H. Blok, D. Hiemstra, и P. Apers. Proceedings of the 14th ACM international conference on Information and knowledge management, стр. 12--19. New York, NY, USA, ACM, (2005)
P. Nagy, P. Surján, и Á. Szabados. Theoretical Chemistry Accounts: Theory, Computation, and Modeling (Theoretica Chimica Acta), 131 (2):
1-6(февраля 2012)
B. Ganter, и S. Kuznetsov. Conceptual Structures: Theory, Tools and Applications, том 1453 из Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (1998)
R. Stevens, P. Wright, и A. Edwards. ADJUNCT PROCEEDINGS OF HCI'95: PEOPLE AND COMPUTERS, (HUDDERSFIELD), BRITISH COMPUTER SOCIETY, стр. 160--166. (1995)