» książki » Mathematics - Logic
topmenu
 |
Formal Concept Analysis: 6th International Conference, Icfca 2008, Montreal, Canada, February 25-28, 2008, Proceedings
ISBN: 9783540781363 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptualhierarchyleadingtomethodsforconceptuallyanalyzingdataandkno- edge. The theoryitselfstronglyreliesonorderandlatticetheory, whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning, and, over the last years, the range of applicationshaskeptgrowing. The mainreasonfor this comesfromthe fact that our modern society has turned into an "information" society. After years and years of using computers, companies realized they had stored gigantic...
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptualhierarchyleadingtomethodsforconceptuallyanalyzingdataandkno- edge. Th...
|
cena:
201,24 |
 |
Principles and Practice of Semantic Web Reasoning: Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
ISBN: 9783540287933 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - searchersfromdi?erent horizonswith the aims of de?ning newarchitecturesand languages necessary to make it possible, and of developing the ?rst applications of these concepts. This book contains the articles selected for publication and presentation at the workshop Principles and Practice of Semantic Web Reasoning PPSWR 2005, together with three invited talks. Three major aspects of Semantic Web research are represented in this selection:...
The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - sea...
|
cena:
201,24 |
 |
Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540712282 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis. This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in ... |
cena:
201,24 |
 |
Learning Classifier Systems: International Workshops, Iwlcs 2003-2005, Revised Selected Papers
ISBN: 9783540712305 / Angielski / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took place in Chicago (2003), Seattle (2004), and Washington (2005). The Genetic and Evolutionary Computation Conference, the main ACM SIGEvo conference, hosted these three editions. The topics presented in this volume summarize the wide spectrum of interests of the Learning Classi?er Systems (LCS) community. The topics range from theoretical analysis of mechanisms to practical cons- eration for successful application of such techniques to everyday...
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took...
|
cena:
201,24 |
 |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, Lpnmr 2007, Tempe, Az, Usa, May 15-17, 2007, Proceedings
ISBN: 9783540721994 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. This conference encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems. This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, hel... |
cena:
201,24 |
 |
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development
ISBN: 9783540775027 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a collection of papers presented during the first International ACM-L Workshop, which was held in Tucson, Arizona, during the 25th International Conference on Conceptual Modeling, ER 2006. Included in this state-of-the-art survey are 11 revised full papers, carefully reviewed and selected from the workshop presentations. These are rounded off with four invited lectures and an introductory overview, and represent the current thinking in conceptual modeling research. This volume is a collection of papers presented during the first International ACM-L Workshop, which was held in Tucson, Arizona, during the 25th I... |
cena:
201,24 |
 |
Logic-Based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Sele
ISBN: 9783540787686 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007. The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.
This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation,...
|
cena:
201,24 |
 |
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540787907 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Compiler Construction, CC 2008, held in Budapest, Hungary, in March 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 17 revised full papers presented together with two invited papers and one tool demonstration were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
This book constitutes the refereed proceedings of the 17th International Conference on Compiler Construction, CC 2008, held in Budapest, Hungary, in M...
|
cena:
201,24 |
 |
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
ISBN: 9783540680840 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), which was held during May 2-5, 2007 in Cividale del Friuli (Udine), Italy. The topic of this workshop was formal reasoning and computer progr- ming basedon type theory: languagesand computerized toolsfor reasoning, and applications in several domains such as analysis of programming languages, c- ti?ed software, formalization of mathematics and mathematics education. The workshopwasattended by morethan 100researchersandincluded morethan 40...
These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), whi...
|
cena:
201,24 |
 |
Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, Jul
ISBN: 9783540705956 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice...
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in ...
|
cena:
201,24 |
 |
Implementation and Applications of Automata: 13th International Conference, Ciaa 2008, San Francisco, California, Usa, July 21-24, 2008, Proceedings
ISBN: 9783540708438 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21 24, 2008. This volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2008, as well as the abstracts of the poster papers that were displayed during the conference. The volume also includes the - per/extended abstract of the four invited talks presented by Markus Holzer, Kai Salomaa, Mihalis Yannakakis, and Hsu-Chun Yen. The 24 regular papers were selected from 40 submissions covering various topics...
The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco,...
|
cena:
201,24 |
 |
Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
ISBN: 9783540201441 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The13thInternationalConferenceonInductive LogicProgramming(ILP 2003), organizedbytheDepartmentofInformaticsattheUniversityofSzeged, washeld between September 29 and October 1, 2003 in Szeged, Hungary. ILP 2003 was co-located with the Kalm ar Workshop on Logic and Computer Science devoted to the workofL aszloKalm arandto recentresultsinlogicandcomputerscience. This volume contains all full papers presented at ILP 2003, together with the abstracts of the invited lectures by Ross D. King (University of Wales, Aber- twyth) and John W. Lloyd (Australian National University, Canberra). TheILP...
The13thInternationalConferenceonInductive LogicProgramming(ILP 2003), organizedbytheDepartmentofInformaticsattheUniversityofSzeged, washeld between Se...
|
cena:
201,24 |
 |
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings
ISBN: 9783540859277 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 18th International Conference on Inductive Logic Programming was held in Prague, September 10-12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics...
The 18th International Conference on Inductive Logic Programming was held in Prague, September 10-12, 2008. ILP returned to Prague after 11 years, and...
|
cena:
201,24 |
 |
Logics in Artificial Intelligence: 11th European Conference, Jelia 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
ISBN: 9783540878025 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the 11th European Conference on Logics in Arti?cial Intelligence (or Journ ees Europ eennes sur la Logique en Intelligence Arti?cielle, JELIA), which was held from September 28 to October 1, 2008, at the Technische Universit] at Dresden, Germany. In total, 98 researchpapers were submitted by researchersfrom 24 countries. Each submission was reviewed by at least three expert reviewers. The ?nal de- sionsonthepapersweretakenduringanelectronicProgramCommitteemeeting held on the Internet. The Program Committee accepted 32 research...
This volume contains the papers selected for presentation at the 11th European Conference on Logics in Arti?cial Intelligence (or Journ ees Europ eenn...
|
cena:
201,24 |
 |
Learning Classifier Systems: 10th International Workshop, Iwlcs 2006, Seattle, Ma, Usa, July 8, 2006, and 11th International Workshop, Iwlcs 2007,
ISBN: 9783540881377 / Angielski / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - all hosted by the Genetic and Evolutionary Computation Conference, GECCO. The 14 revised full papers presented were carefully reviewed and selected from the workshop contributions. The papers are organized in topical sections on knowledge representation, analysis of the system, mechanisms, new directions, as well as applications.
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Syst...
|
cena:
201,24 |
 |
Advances in Artificial Intelligence - Sbia 2008: 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008
ISBN: 9783540881896 / Angielski / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008. The 27 revised full papers presented together with 3 invited lectures and 3 tutorials were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning, machine learning and data mining, natural language processing, and robotics.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in Oct...
|
cena:
201,24 |
 |
Modeling Decisions for Artificial Intelligence: 5th International Conference, Mdai 2008, Sabadell, Spain, October 30-31, 2008, Proceedings
ISBN: 9783540882688 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008. The 19 revised full papers presented together with 2 invited lectures were thoroughly reviewed and selected from 43 submissions; they are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques. The papers are organized in topical sections on aggregation operators, decision making, clustering and similarity,...
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held ...
|
cena:
201,24 |
 |
Language and Automata Theory and Applications: Second International Conference, Lata 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
ISBN: 9783540882817 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain most of the papers that werepresented at the Second International Conference on Language and Automata Theory and Applications (LATA 2008), held in Tarragona, Spain, during March 13-19, 2008. The scope of LATA is rather broad, including: words, languages and - tomata; grammars (Chomsky hierarchy, contextual, multidimensional, uni?- tion, categorial, etc. );grammarsandautomataarchitectures;extendedautomata; combinatorics on words; language varieties and semigroups; algebraic language theory; computability; computational, descriptional, and parameterized c-...
These proceedings contain most of the papers that werepresented at the Second International Conference on Language and Automata Theory and Application...
|
cena:
201,24 |
 |
Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings
ISBN: 9783540710691 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol...
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia...
|
cena:
201,24 |
 |
Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
ISBN: 9783540851004 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008). Jointly organized by the National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, and the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, it was held from July 31 to August 2, 2008 in the Castle of Hagenberg. Algebraic biology is an interdisciplinary forum for research on all aspects of applying symbolic computation in biology. The ?rst conference on algebraic biology (AB 2005) was held November 28 30, 2005 in Tokyo, the second during July 2...
This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008). Jointly organized by the National Institute...
|
cena:
201,24 |
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
