» książki » Mathematics - Logic
topmenu
 |
Current Topics in Artificial Intelligence: 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007, Selected Papers
ISBN: 9783540752707 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, held in Salamanca, Spain, in November 2007, in conjunction with the 7th Workshop on Artificial Intelligence Technology Transfer, TTIA 2007. The 28 revised full papers presented address all current issues of artificial intelligence ranging from methodological and foundational aspects to advanced applications in various fields. This book constitutes the refereed proceedings of the 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, held in ... |
cena:
201,24 |
 |
Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
ISBN: 9783540754138 / Angielski / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems. This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Gre... |
cena:
201,24 |
 |
Type-2 Fuzzy Logic: Theory and Applications
ISBN: 9783540762836 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We describe in this book, new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including type-1 fuzzy logic, neural networks, and genetic algorithms, which can be used to create powerful hybrid intelligent systems. In this book, we are extending the use of fuzzy logic to a higher order, which is called type-2 fuzzy logic. Combining type-2 fuzzy logic with traditional SC techniques, we can build powerful hybrid intelligent systems that can use the advantages that each te- nique offers....
We describe in this book, new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. Soft Computing (SC) con...
|
cena:
402,53 |
 |
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Paper
ISBN: 9783540763352 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague, Czech Republic on July 16 18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference. The proceedings also include the abstracts and extended abstracts offourinvitedlecturespresentedbyGheorghePau ? n, MichaelRiley, MosheVardi, and Bruce W. Watson. The 23 regular papers and 7 poster papers were selected from 79 submitted papers covering various...
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague, Czech Re...
|
cena:
201,24 |
 |
Micai 2007: Advances in Artificial Intelligence: 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-1
ISBN: 9783540766308 / Angielski / Miękka / 1236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Artificial Intelligence is a branch of computer science that studies heuristic methods of solving complex problems. Historically the first such tasks modeled human intellectual activity: reasoning, learning, seeing and speaking. Later similar methods were extended to super-complex optimization problems that appear in science, social life and industry. Many methods of Artificial Intelligence are borrowed from nature, where there occur similar super-complex problems such as those related to survival, development, and behavior of living organisms. The Mexican International Conference on...
Artificial Intelligence is a branch of computer science that studies heuristic methods of solving complex problems. Historically the first such tasks ...
|
cena:
402,53 |
 |
Generalized Measure Theory
ISBN: 9780387768519 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ''fuzzy measure'' was used for set functions obtained by replacing the additivity requirement of classical measures with weaker requirements of monotonicity with respect to set inclusion and con- nuity. That is, the book dealt with nonnegative set functions that were mo- tone, vanished at the empty set, and possessed appropriate continuity properties when defined on infinite sets. It seems that Fuzzy Measure Theory was the only book available on the market at that time devoted to this...
In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ''fuzzy measure'' was used for set functions obt...
|
cena:
201,24 |
 |
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory
ISBN: 9781904987574 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of
higher-order logic. The first part of the book provides a detailed presentation of the theory (syntax and semantics) of fragments of higher-order logic. The fragments differ in the amount of extensionality and set... Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has becom...
|
cena:
189,90 |
 |
Deductive and Object-Oriented Databases: Second International Conference, Dood'91, Munich, Germany, December 16-18, 1991. Proceedings
ISBN: 9783540550150 / Angielski / Miękka / 583 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deductive and object-oriented systems have received a great deal of attention, but for the most part these two fields were evolving independently of each other. Today there is a large body of work suggesting that the deductive and object-oriented paradigms complement each other. The object-oriented paradigm is characterized by its view of the data, whereby information is grouped around objects with complex internal structure accessed via methods. The...
This volume is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deduc...
|
cena:
201,24 |
 |
Automata, Languages and Programming: 20th International Colloquium, Icalp 93, Lund, Sweden, July 5-9, 1993. Proceedings
ISBN: 9783540569398 / Angielski / Miękka / 703 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification,...
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for T...
|
cena:
402,53 |
 |
Deductive and Object-Oriented Databases: Third International Conference, Dood '93, Phoenix, Arizona, Usa, December 6-8, 1993. Proceedings
ISBN: 9783540575306 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for modeling, organizing, and processing data complement each other, rather than competing, and that problems involving massive volumes of complex data can best be solved by integrating the best of both approaches. Central questions in the area are: - How do we design a tool that presents the best of the object-oriented and declarative ideas? - How can the users of this tool express their problems in a...
This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the o...
|
cena:
201,24 |
 |
Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
ISBN: 9783540578772 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques.
This volume contains the papers selected for presentation at CC '94,... The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler ...
|
cena:
201,24 |
 |
Automata, Languages, and Programming: 21st International Colloquium, Icalp '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
ISBN: 9783540582014 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures,...
This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in J...
|
cena:
402,53 |
 |
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
ISBN: 9783540587156 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994.
Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency,... This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, ...
|
cena:
201,24 |
 |
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
ISBN: 9783540590477 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.
The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are... This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the F...
|
cena:
201,24 |
 |
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers
ISBN: 9783540594673 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included.
Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice... This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwar...
|
cena:
201,24 |
 |
Advances in Intelligent Computing - Ipmu '94: 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based
ISBN: 9783540601166 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a topical selection of full refereed research papers presented during the 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '94, held in Paris, France in July 1994. The topical focus is on the role of uncertainty in the contruction of intelligent computing systems and it is shown how the concepts of AI, neural networks, and fuzzy logic can be utilized for that purpose.
In total, there are presented 63 thoroughly revised papers organized in sections on fundamental issues; theory of evidence; networks,... This book presents a topical selection of full refereed research papers presented during the 5th International Conference on Information Processing an...
|
cena:
402,53 |
 |
Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
ISBN: 9783540601647 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.
The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program... This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in A...
|
cena:
201,24 |
 |
Computing and Combinatorics: First Annual International Conference, Cocoon '95, Xi'an, China, August 24-26, 1995. Proceedings
ISBN: 9783540602163 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the First Annual International Conference on Computing and Combinatorics, COCOON '95, held in Xi'an, China in August 1995.
The 52 thoroughly refereed full papers and the 22 short presentations included in this volume were selected from a total of 120 submissions. All current aspects of theoretical computer science and combinatorial mathematics related to computing are addressed; in particular, there are sections on complexity theory, graph drawing, computational geometry, databases, graph algorithms, distributed programming and logic, combinatorics,... This book constitutes the proceedings of the First Annual International Conference on Computing and Combinatorics, COCOON '95, held in Xi'an, China in...
|
cena:
402,53 |
 |
Ai*ia 2007: Artificial Intelligence and Human-Oriented Computing: 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, S
ISBN: 9783540747819 / Angielski / Miękka / 882 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007. Coverage includes knowledge representation and reasoning, multiagent systems, distributed AI, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, AI and robotics, AI and expressive media, and intelligent access to multimedia information. This book constitutes the refereed proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007. Coverage in... |
cena:
402,53 |
 |
Nonstandard Analysis, Axiomatically
ISBN: 9783540222439 / Angielski / Twarda / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the aftermath of the discoveries in foundations of mathematiC's there was surprisingly little effect on mathematics as a whole. If one looks at stan- dard textbooks in different mathematical disciplines, especially those closer to what is referred to as applied mathematics, there is little trace of those developments outside of mathematical logic and model theory. But it seems fair to say that there is a widespread conviction that the principles embodied in the Zermelo - Fraenkel theory with Choice (ZFC) are a correct description of the set theoretic underpinnings of mathematics. In most...
In the aftermath of the discoveries in foundations of mathematiC's there was surprisingly little effect on mathematics as a whole. If one looks at sta...
|
cena:
402,53 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
