Listing 1 - 10 of 38 | << page >> |
Sort by
|
Choose an application
Logic programming --- -681.3*D32 --- 681.3*I23 --- 681.3*I25 --- Computer programming --- Congresses --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Programmation logique --- Congrès --- Logic programming - Congresses --- -Congresses
Choose an application
Logic programming. --- Prolog (Computer program language). --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic programming --- Prolog (Computer program language) --- 681.3*I23 --- Computer programming --- Programmation logique --- PROLOG (Langage de programmation) --- Prolog (langage de programmation) --- Prolog (computer language)
Choose an application
Computer science --- Constraint programming (Computer science) --- Programmation par contraintes --- constraint --- CSP (control system professional) --- programmeertaal --- programmeren --- prolog --- Computer programming
Choose an application
Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. It draws on methods from combinatorial optimisation and artificial intelligence, and has been successfully applied in a number of fields from scheduling, computational biology, finance, electrical engineering and operations research through to numerical analysis. This textbook for upper-division students provides a thorough and structured account of the main aspects of constraint programming. The author provides many worked examples that illustrate the usefulness and versatility of this approach to programming, as well as many exercises throughout the book that illustrate techniques, test skills and extend the text. Pointers to current research, extensive historical and bibliographic notes, and a comprehensive list of references will also be valuable to professionals in computer science and artificial intelligence.
Choose an application
Verification --- Temporal Logic --- Ccs --- Semantics --- Logic --- Specification --- Concurrency --- Model
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also interest researchers working in mathematical logic, computer science and game theory.
Game theory. --- Computer science --- Théorie des jeux --- Informatique --- Mathematics. --- Mathématiques --- Game theory --- Mathematics --- Théorie des jeux --- Mathématiques --- Operational research. Game theory --- Games, Theory of --- Theory of games --- Mathematical models --- Computer mathematics --- Electronic data processing --- Computer science - Mathematics
Listing 1 - 10 of 38 | << page >> |
Sort by
|