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 “sara negri”
Skip side bar filters

  • Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

    Edited by Armin Biere, Carsten Lutz, Sara Negri ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation; ... Read more

    Free

  • Mathesis Universalis, Computability and Proof

    Edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster ...
    Series series Philosophy and Religion (R0)
    In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […]shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a ... Read more

    $107.09 USD

  • Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

    Edited by Armin Biere, Carsten Lutz, Sara Negri ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation; ... Read more

    Free

  • Automated Reasoning with Analytic Tableaux and Related Methods

    30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

    Edited by Anupam Das, Sara Negri ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based ... Read more

    $49.49 USD

People who read these also enjoyed

  • On the Logic and Learning of Language

    by 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. ... Read more

    $8.69 USD

  • Generative Grammar

    Theory and its History

    by Robert Freidin ...
    Series 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 ... Read more

    $68.99 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edited by Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $49.49 USD

  • Handbook of Philosophical Logic

    Edited by Dov M. Gabbay, Franz Guenthner ...
    Series series Philosophy and Religion (R0)
    It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as ... Read more

    $143.09 USD

  • Krister Segerberg on Logic of Actions

    Edited by Robert Trypuz ...
    Series series Philosophy and Religion (R0)
    This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics ... Read more

    $89.09 USD

  • Handbook of Computability Theory

    Edited by E.R. Griffor ...
    Series Book 140 - Studies in Logic and the Foundations of Mathematics
    The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of ... Read more

    $179.99 USD

  • Language, Logic, and Computation

    13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers

    Edited by Aybüke Özgün, Yulia Zinova ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019.The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.The symposium offered ... Read more

    $76.49 USD

  • Understanding Minimalism

    by Norbert Hornstein, Jairo Nunes, Kleanthes K. Grohmann ...
    Series 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 ... Read more

    $66.49 USD