Prolog and its Applications, F U M I O MIZOGUCHI

Автор: Ford Beverley
Название: Logic Programming with Prolog
ISBN: 144715486X ISBN-13(EAN): 9781447154860
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assuming no programming experience on the reader`s part, this book starts from scratch and aims to arrive at the point where quite powerful programs can be written in the Prolog language. This second edition is revised to be fully compatible with SWI-Prolog.

Автор: Lee Naish
Название: Negation and Control in Prolog
ISBN: 354016815X ISBN-13(EAN): 9783540168157
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Anna-Lena Johansson; Agneta Eriksson-Granskog; Ann
Название: Prolog Versus You
ISBN: 3540175776 ISBN-13(EAN): 9783540175773
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs.

Автор: Bruce G. Batchelor
Название: Intelligent Image Processing in Prolog
ISBN: 3540196471 ISBN-13(EAN): 9783540196471
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Integrates two technologies, namely Image Processing (IP) and Artificial Intelligence (AI) through the implementation of a fifth generation of industrial vision systems. This book is suitable for image processing specialists and Prolog enthusiasts.

Автор: Joachim Beer
Название: Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
ISBN: 3540520538 ISBN-13(EAN): 9783540520535
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Dennis Merritt
Название: Building Expert Systems in Prolog
ISBN: 1461389135 ISBN-13(EAN): 9781461389132
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog.

Автор: Helder Coelho; Jose C. Cotta
Название: Prolog by Example
ISBN: 3642832156 ISBN-13(EAN): 9783642832154
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Its real point is the examples introduced from Chapter 3 onwards, and so a Prolog programmer does not need to read Chapters 1 and 2, which are oriented more to teachers and to students, respec- tively.

Автор: Bruce G. Batchelor
Название: Intelligent Image Processing in Prolog
ISBN: 1447111311 ISBN-13(EAN): 9781447111313
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Lucanu
Название: Rewriting Logic and Its Applications
ISBN: 3319448013 ISBN-13(EAN): 9783319448015
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

Автор: Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra;
Название: Computational Science and Its Applications – ICCSA 2017
ISBN: 3319624032 ISBN-13(EAN): 9783319624037
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Winner of the inaugural Interim 2018 Test Site Poetry Series Prize, Refugia is a bright and hopeful voice in the current conversation about climate change. Kyce Bello`s stunning debut ponders what it means to inhabit a particular place at a time of enormous disruption, witnessing a beloved landscape as it gives way to, as Bello writes, "something other and unknown.

Автор: Santiago Escobar
Название: Rewriting Logic and Its Applications
ISBN: 3319129031 ISBN-13(EAN): 9783319129037
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation.- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude.- Real-Time Maude and Its Applications.- Conditional Narrowing Modulo in Rewriting Logic and Maude.- Language Definitions as Rewrite Theories.- Infinite-State Model Checking of LTLR Formulas Using Narrowing.- Modelling and Verifying Contract-Oriented Systems in Maude.- Towards Static Analysis of Functional Programs Using Tree Automata Completion.- Framework for Mobile Ad hoc Networks in Real-Time Maude.- Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.- 2D Dependency Pairs for Proving Operational Termination of CTRSs.- FunKons: Component-Based Semantics in K.- An Integration of CafeOBJ into Full Maude.- Rewriting Modulo SMT and Open System Analysis.- Formal Specification of Button-Related Fault-Tolerance Micropatterns.- A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications.