Conceptual Structures: Logical, Linguistic, and Computational Issues, Bernhard Ganter; Guy W. Mineau
Автор: Luca de Alfaro Название: Foundations of Software Science and Computational Structures ISBN: 3642005950 ISBN-13(EAN): 9783642005954 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
Описание: Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Автор: Sigbert Klinke Название: Data Structures for Computational Statistics ISBN: 3790809829 ISBN-13(EAN): 9783790809824 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since the beginning of the seventies computer hardware is available to use programmable computers for various tasks. The introduction of personal computers in the eighties gave new impulses for even further development, already at the beginning of the seven- ties some special languages like SAS or SPSS were available for statisticians.
Автор: Harry S. Delugach; Gerd Stumme Название: Conceptual Structures: Broadening the Base ISBN: 3540423443 ISBN-13(EAN): 9783540423447 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford, in July/August 2001. The book covers such topics as language and knowledge structures, and logical and mathematical foundations of conceptual structures.
Автор: Nicholas Asher; Sergei Soloviev Название: Logical Aspects of Computational Linguistics ISBN: 3662437414 ISBN-13(EAN): 9783662437414 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014.
Edited under the auspices of the Association of Logic, Language and
Information (FoLLI), this book constitutes the refereed proceedings of
the 20th anniversary of the International Conference on Logical
Aspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,
France, in December 2016. The 19 contributed papers, presented
together with 4 invited papers and 6 abstracts, were carefully
reviewed and selected from 38 submissions. The focus of the conference
is the use of type theoretic, proof theoretic, and model theoretic
methods for describing and formalising natural language syntax,
semantics, and pragmatics as well as the implementation of the
corresponding tools.
Автор: Sebastian Rudolph; Frithjof Dau; Sergei O. Kuznets Название: Conceptual Structures: Leveraging Semantic Technologies ISBN: 3642030785 ISBN-13(EAN): 9783642030789 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 17th International Conference on Conceptual Structures ICCS 2009 Moscow Russia July 2631 2009 Proce. .
Автор: Peter Eklund; Ollivier Haemmerl? Название: Conceptual Structures: Knowledge Visualization and Reasoning ISBN: 3540705953 ISBN-13(EAN): 9783540705956 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. This book includes papers that present Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, and computational linguistics.
Автор: William M. Tepfenhart; Walling Cyre Название: Conceptual Structures: Standards and Practices ISBN: 3540662235 ISBN-13(EAN): 9783540662235 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents selected papers on conceptual structures from ICCS `99, including a 65 page proposed draft standard for conceptual graphs. Topics covered include conceptual graph modelling; natural language; applications; SISYPHUS-I, contexts, logics and conceptual graphs; and position papers.
Автор: Arnold Beckmann; Ulrich Berger; Benedikt L?we; Joh Название: Logical Approaches to Computational Barriers ISBN: 3540354662 ISBN-13(EAN): 9783540354666 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. This book covers proofs and computation, computable analysis, challenges in complexity, foundations of programming, and mathematical models of computers and hypercomputers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru