Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “john p gallagher”
Skip side bar filters

  • Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

    Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

    Edición de Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi ...
    Series series Computer Science (R0)
    This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became ... Leer más

    $116.09 USD

  • Functional and Logic Programming

    14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

    Edición de John P. Gallagher, Martin Sulzmann ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... Leer más

    $49.99 USD

  • Logic-Based Program Synthesis and Transformation

    27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

    Edición de Fabio Fioravanti, John P. Gallagher ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Practical Foundations for Programming Languages

    de Robert Harper ...
    This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the ... Leer más

    $76.99 USD

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    de Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone ...
    Series series Synthesis Lectures on Artificial Intelligence and Machine Learning
    Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface ... Leer más

    $28.99 USD

  • Knowledge Representation, Reasoning, and the Design of Intelligent Agents

    The Answer-Set Programming Approach

    de Michael Gelfond, Yulia Kahl ...
    Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and ... Leer más

    $59.99 USD

  • Logic-Based Program Synthesis and Transformation

    26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

    Edición de Manuel V Hermenegildo, Pedro Lopez-Garcia ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to ... Leer más

    $49.99 USD

  • Trustworthy Global Computing

    8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

    Edición de Martín Abadi, Alberto Lluch Lafuente ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing ... Leer más

    $49.99 USD

  • Programming Languages and Systems

    26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

    Edición de Hongseok Yang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in ... Leer más

    $89.99 USD

  • Programming Languages and Systems

    25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Edición de Peter Thiemann ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the ... Leer más

    $49.99 USD

  • Declarative Programming and Knowledge Management

    Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

    Edición de Ricardo Rocha, Michael Hanus ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in ... Leer más

    $49.49 USD

  • Theoretical Aspects of Computing – ICTAC 2016

    13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

    Edición de Augusto Sampaio, Farn Wang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections ... Leer más

    $49.49 USD