Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Meilleures séries dans ce pays : Canada

1-12 sur 12 résultats pour « fei liang »
Skip side bar filters

  • Logic, Rationality, and Interaction

    9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings

    Modifié par Natasha Alechina, Andreas Herzig, Fei Liang ...
    Collections series Springer Nature Proceedings Computer Science
    This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023.The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as ... En savoir plus

    $96.09 CAD

Les lecteurs de ce roman ont aussi aimé

  • Foundations of Statistical Natural Language Processing

    par Christopher Manning, Hinrich Schutze ...
    Statistical approaches to processing natural language text have become dominant in recent years. This foundational text is the first comprehensive introduction to statistical natural language processing (NLP) to appear. The book contains all the theory and algorithms needed for building NLP tools. It provides broad but rigorous coverage of mathematical and linguistic foundations, as well as ... En savoir plus

    $127.99 CAD

  • Beginner's Further Guide To Mathematical Logic, A

    par Raymond M Smullyan ...
    'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on ... En savoir plus

    $20.99 CAD

  • Understanding Minimalism

    par Norbert Hornstein, Jairo Nunes, Kleanthes K. Grohmann ...
    Collections series Cambridge Textbooks in Linguistics
    Understanding Minimalism, first published in 2005, is an introduction to the Minimalist Program - the model of syntactic theory within generative linguistics. Accessibly written, it presents the basic principles and techniques of the minimalist program, looking firstly at analyses within Government and Binding Theory (the Minimalist Program's predecessor), and gradually introducing minimalist ... En savoir plus

    $74.99 CAD

  • The Cambridge Handbook of Generative Syntax

    Modifié par Marcel den Dikken ...
    Collections series Cambridge Handbooks in Language and Linguistics
    Syntax – the study of sentence structure – has been at the centre of generative linguistics from its inception and has developed rapidly and in various directions. The Cambridge Handbook of Generative Syntax provides a historical context for what is happening in the field of generative syntax today, a survey of the various generative approaches to syntactic structure available in the literature ... En savoir plus

    $67.99 CAD

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Modifié par Christel Baier, Ugo Dal Lago ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... En savoir plus

    Gratuit

  • Non-axiomatic Logic: A Model Of Intelligent Reasoning

    par Pei Wang ...
    This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the “laws of thought” followed by the human mind. Different from “mathematical” logic, where the focus is ... En savoir plus

    $42.99 CAD

  • Lambda Calculus with Types

    par Henk Barendregt, Wil Dekkers, Richard Statman ...
    Collections series Perspectives in Logic
    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types ... En savoir plus

    $99.99 CAD

  • Generative Grammar

    Theory and its History

    par Robert Freidin ...
    Collections series Routledge Leading Linguists
    Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation ... En savoir plus

    $94.81 CAD

  • Automated Deduction – CADE 28

    28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

    Modifié par André Platzer, Geoff Sutcliffe ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including ... En savoir plus

    Gratuit

  • On the Logic and Learning of Language

    par Sean A. Fulop ...
    This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. ... En savoir plus

    $11.99 CAD

  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    par Bart Jacobs ...
    Collections Livre 59 - Cambridge Tracts in Theoretical Computer Science
    The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts ... En savoir plus

    $184.99 CAD