Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Top Series in Canada

Showing 1 - 12 of 12 results for “jan m smith”
Skip side bar filters

  • Twenty Five Years of Constructive Type Theory

    by Giovanni Sambin, Jan M. Smith ...
    Series Book 36 - Oxford Logic Guides
    Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin ... Read more

    $95.99 CAD

People who read this also enjoyed

  • Scala: From a Functional Programming Perspective

    An Introduction to the Programming Language

    by Vicenç Torra ...
    Series series Computer Science (R0)
    This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types. The book also describes the object-oriented ... Read more

    $64.99 CAD

  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    by Bart Jacobs ...
    Series Book 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 ... Read more

    $184.99 CAD

  • A Concise Introduction to Languages and Machines

    by Alan P. Parkes ...
    Series series Computer Science (R0)
    A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Read more

    $35.99 CAD

  • Goal-based Reasoning for Argumentation

    by Douglas Walton ...
    This book provides an argumentation model for means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making. Means end-reasoning is modelled as goal-directed argumentation from an agent's goals and known circumstances, and from an action selected as a means, to a decision to carry out the action. Goal-based Reasoning for Argumentation provides an argumentation ... Read more

    $46.99 CAD

  • Computation and its Limits

    by Paul Cockshott, Lewis M. Mackenzie, Gregory Michaelson ...
    Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so effective in science and seeks to explain this in terms of the modelling of one part of physical reality by another. Going from the origins of counting to the most blue-skies proposals for novel methods ... Read more

    $41.99 CAD

  • Mathematical Logic for Computer Science

    by Mordechai Ben-Ari ...
    Series series Computer Science (R0)
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems ... Read more

    $76.99 CAD

  • Basic Discrete Mathematics: Logic, Set Theory, And Probability

    by Richard Kohar ...
    This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and ... Read more

    $68.99 CAD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Series series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

    $115.29 CAD

  • Graph Structures for Knowledge Representation and Reasoning

    4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

    Edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected ... Read more

    $64.09 CAD

  • Multi-Agent Systems and Agreement Technologies

    13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

    Edited by Michael Rovatsos, George Vouros, Vicente Julian ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS 2015, and the Third International Conference on Agreement Technologies, AT 2015, held in Athens, Greece, in December 2015.The 36 papers presented in this volume were carefully reviewed and selected from 65 submissions. They are organized in topical sections named: coordination and ... Read more

    $64.09 CAD

  • Semantic Technology

    7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings

    Edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 7th Joint International Semantic Technology Conference, JIST 2017, held in Goldcoast, QLD, Australia, in November 2017.The 19 full papers and 4 short papers presented were carefully reviewed and selected from 37 submissions. They present applications of semantic technologies, theoretical results, new algorithms and tools to ... Read more

    $64.99 CAD