Resultados de Pesquisa

INGLÊS

Logic Programming - Proceedings Of The Tenth International Conference On Logic Programming June 21-24, 1993, Budapest, Hungary

251,75€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science.
INGLÊS

Logic Programming - The 12th International Conference

251,75€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes
INGLÊS

Logic Programming - The 14th International Conference

251,75€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet.
INGLÊS

Logic Programming - The 1997 International Symposium

278,25€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The themes of the1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science.
INGLÊS

Logic Programming - Proceedings Of The 1996 Joint International Conference And Symposium On Logic Programming

251,75€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis.
INGLÊS

Logic Programming - The 1995 International Symposium

278,25€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.
INGLÊS

Logic Programming - Proceedings Of The 1999 International Conference On Logic Programming

251,75€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.
INGLÊS

Concurrent Constraint Programming

de Vijay A. Saraswat

106,00€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Introduces programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on concurrent logic programming and that offer an approach for treating issues in the semantics of concurrent, nondeterministic programming languages.
INGLÊS

Grammatical View Of Logic Programming

de Jan Maluszynski e Pierre Deransart

106,00€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors'' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied.Contents Preliminaries • Foundations • Grammatical Extensions of Logic Programs • Attribute Grammars • Attribute Grammars and Logic Programming • Proof Methods • Study of Declarative Properties • The Occur-check Problem
INGLÊS

Practice Of Prolog

92,75€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instruction in order to extend them to full programming projects. It shows how to design and organize moderate to large Prolog programs, providing a collection of eight programming projects, each with a particular application, and illustrating how a Prolog program was written to solve the application. These range from a simple learning program to designing a database for molecular biology to natural language generation from plans and stream data analysis.ContentsA Simple Learning Program, Richard O'Keefe * Designing a Prolog Database for Molecular Biology, Ewing Lusk, Robert Olson, Ross Overbeek, Steve Tuecke * Parallelizing a Pascal Compiler, Eran Gabber * PREDITOR: A Prolog-Based VLSI Editor, Peter B. Reintjes * Assisting Register Transfer Level Hardware Design, Paul Drongowski * Design and Implementation of a Partial Evaluation System, Arun Lakhotia, Leon Sterling * Natural Language Generation from Plans, Chris Mellish * Stream Data Analysis in Prolog, Stott Parker
INGLÊS

Art Of Prolog - Advanced Programming Techniques

de Ehud Y. Shapiro e Leon S. Sterling

265,00€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course.Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement—a systematic way of constructing Prolog programs developed by Leon Sterling. All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
INGLÊS

Logic Programming - The 11th International Conference

225,25€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Conference proceedings presenting the state-of-the-art in Logic Programming.
INGLÊS

Logic Programming Languages - Constraints, Functions, And Objects

79,50€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.
INGLÊS

Warren'S Abstract Machine - A Tutorial Reconstruction

de Hassan Ait-Kaci

79,50€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author''s step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983. Developed by David H. D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided.Contents Introduction • Unification—Pure and Simple • Flat Resolution • Prolog • Optimizing the Design • Conclusion • Appendixes
INGLÊS

New Ready For Cae - Teacher'S Book

de Roy Norris

23,65€

portes grátis

ESGOTADO OU NÃO DISPONÍVEL

 Ready for CAE is a comprehensive course which offers thorough preparation for the Cambridge Certificate in Advanced English exam (CAE). All four skills are systematically developed and practiced and teachers are provided photocopiable tests, suggestions on how to use the Coursebook and sample answers for the writing tasks with comments.
INGLÊS

The Craft Of Prolog

de Richard O'Keefe

ESGOTADO OU NÃO DISPONÍVEL

NÃO ENCONTROU O QUE PROCURA?

Faça consulta pelos temas do menu.

Consulte os critérios de pesquisa na ajuda .

E por fim, se necessário, utilize a opção procuramos por si .