Skip to main content
Search Button
United States 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...


Showing 1 - 12 of 12 results for “patrick blackburn”
Skip side bar filters

  • Modal Logic

    by Patrick Blackburn, Maarten de Rijke, Yde Venema ...
    Series Book 53 - Cambridge Tracts in Theoretical Computer Science
    This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; ... Read more

    $103.39 USD

  • Logic, Rationality, and Interaction

    7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

    Edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo ...
    Series series Springer Nature Proceedings excluding Computer Science
    This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and ... Read more

    $49.49 USD

People who read these also enjoyed

  • Combinatorics: Ancient & Modern

    Edited by Robin Wilson, John J. Watkins ...
    Who first presented Pascal's triangle? (It was not Pascal.) Who first presented Hamiltonian graphs? (It was not Hamilton.) Who first presented Steiner triple systems? (It was not Steiner.) The history of mathematics is a well-studied and vibrant area of research, with books and scholarly articles published on various aspects of the subject. Yet, the history of combinatorics seems to have been ... Read more

    $40.99 USD

  • Term Rewriting and All That

    by Franz Baader, Tobias Nipkow ...
    This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both ... Read more

    $62.39 USD

  • Set Theory

    With an Introduction to Real Point Sets

    by Abhijit Dasgupta ...
    What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

    $80.99 USD

  • Beginning Julia Programming

    For Engineers and Scientists

    by Sandeep Nagar ...
    Series series Professional and Applied Computing (R0)
    Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... Read more

    $71.99 USD

  • Recent Trends in Algebraic Development Techniques

    23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

    Edited by Phillip James, Markus Roggenbach ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Read more

    $49.99 USD

  • Advanced Finite Element Simulation with MSC Marc

    Application of User Subroutines

    by Andreas Öchsner, Zia Javanbakht ...
    Series series Engineering (R0)
    This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user ... Read more

    $89.09 USD

  • Advanced R

    Data Programming and the Cloud

    by Matt Wiley, Joshua F. Wiley ...
    Series series Professional and Applied Computing (R0)
    Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well as writing functions and packages. Advanced R is not designed to teach advanced R programming nor to teach the theory behind statistical procedures. Rather, it is designed to be a practical guide ... Read more

    $40.49 USD

  • Structured Object-Oriented Formal Language and Method

    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

    Edited by Zhenhua Duan, Shaoying Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... Read more

    $49.99 USD

  • Conceptual Modeling

    36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

    Edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Read more

    $49.49 USD

  • Integrated Formal Methods

    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

    Edited by Erika Ábrahám, Marieke Huisman ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... Read more

    $80.99 USD