Skip to main content
Search Button
Danmark Kobo butik Gavekort Hjælp
Kobo Rakuten
Ønskeliste

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...


Engineering (R0) Bogserier

1 - 12 af 12 resultater
Skip side bar filters

  • Towards Paraconsistent Engineering

    Redigeret af Seiki Akama ...
    Serier serie Engineering (R0)
    This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in ... Læs mere

    840,61 kr.

  • Reasoning with Rough Sets

    Logical Approaches to Granularity-Based Framework

    af Seiki Akama, Tetsuya Murai, Yasuo Kudo ...
    Serier serie Engineering (R0)
    This book explores reasoning with rough sets by developing a granularity-based framework. It begins with a brief description of the rough set theory, then examines selected relations between rough set theory and non-classical logics including modal logic. In addition, it develops a granularity-based framework for reasoning in which various types of reasoning can be formalized. The book will be of ... Læs mere

    934,02 kr.

Personer, der læser disse, syntes også om...

  • Foundations of Statistical Natural Language Processing

    af 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 ... Læs mere

    770,11 kr.

  • Understanding Minimalism

    af Norbert Hornstein, Jairo Nunes, Kleanthes K. Grohmann ...
    Serier serie 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 ... Læs mere

    649,44 kr.

  • Beginner's Further Guide To Mathematical Logic, A

    af 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 ... Læs mere

    152,34 kr.

  • Non-axiomatic Logic: A Model Of Intelligent Reasoning

    af 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 ... Læs mere

    312,69 kr.

  • Statistical Relational Artificial Intelligence

    Logic, Probability, and Computation

    af Kristian Kersting, Luc De Raedt, Sriraam Natarajan, David Poole ...
    Serier serie Synthesis Lectures on Artificial Intelligence and Machine Learning
    An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in ... Læs mere

    416,92 kr.

  • 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

    Redigeret af Christel Baier, Ugo Dal Lago ...
    Serier serie 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 ... Læs mere

    Gratis

  • Lambda Calculus with Types

    af Henk Barendregt, Wil Dekkers, Richard Statman ...
    Serier serie 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 ... Læs mere

    873,93 kr.

  • On the Logic and Learning of Language

    af 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. ... Læs mere

    89,11 kr.

  • A Theory of Syntax

    Minimal Operations and Universal Grammar

    af Norbert Hornstein ...
    Human language seems to have arisen roughly within the last 50-100,000 years. In evolutionary terms, this is the mere blink of an eye. If this is correct, then much of what we consider distinctive to language must in fact involve operations available in pre-linguistic cognitive domains. In this book Norbert Hornstein, one of the most influential linguists working on syntax, discusses a topical set ... Læs mere

    432,96 kr.

  • Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Redigeret af Mikołaj Bojańczyk, Alex Simpson ...
    Serier serie Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... Læs mere

    Gratis