» książki » Mathematics - Logic
topmenu
 |
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
ISBN: 9783540661313 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 1999 European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU'99, held in London, UK, in July 1999.
The 35 revised full papers presented were carefully reviewed and selected for inclusion in the book by the program committee. The volume covers theoretical as well as application-oriented aspects of various formalisms for reasoning under uncertainty. Among the issues addressed are default reasoning, nonmonotonic reasoning, fuzzy logic, Bayesian theory, probabilistic reasoning, inductive learning,... This book constitutes the refereed proceedings of the 1999 European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty,...
|
cena:
201,24 |
 |
Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings
ISBN: 9783540664321 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT'99), held in Trento (Italy) from 9 to 11 September 1999. CONTEXT'99 is the second in the CONTEXT series. The rst was held in Rio de Janeiro (Brazil) in 1997. The CONTEXT conference series is meant to provide an interdisciplinary - rum where researchers can exchange ideas, methodologies, and results on c- text, and is increasingly becoming an important reference for all people doing research on context. This is testi ed by the larger number of research...
This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT'99), hel...
|
cena:
201,24 |
 |
Global Optimization and Constraint Satisfaction: Second International Workshop, Cocos 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selec
ISBN: 9783540260035 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem, eitherto?ndthebestsolution, ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18 21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented...
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyz...
|
cena:
201,24 |
 |
Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
ISBN: 9783540261650 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1-3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in...
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on ...
|
cena:
201,24 |
 |
Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
ISBN: 9783540278726 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). The symposium was held at Airth Castle, Scotland, UK, from July 26th to 29th, 2005, just prior to the IJCAI 2005 conference in Edinburgh. Previous SARA symposia took place at JacksonHole in Wyoming, USA (1994), Ville d Estrel in Qubec, Canada (1995), Asilomar in California, USA (1998), Horseshoe Bay, Texas, USA (2000), and Kananaskis, Alberta, Canada (2002). This was then the ?rst time that the s- posium was held in Europe. Continuing the tradition started with SARA 2000, the...
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). The symposium was held at Airth...
|
cena:
201,24 |
 |
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
ISBN: 9783540290513 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19 21, 2005 in Vienna, Austria. Previously, FroCoS was organized in Munich (1996), Amst- dam (1998), Nancy (2000) and Santa Margherita Ligure near Genoa (2002). In 2004, FroCoS joined IJCAR 2004, the 2nd International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2005 o?ered a common forum for the presentation and discussion of research results and activities on the combination, integration, analysis, modularization and interaction of...
This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19 21, 2005 in V...
|
cena:
201,24 |
 |
Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
ISBN: 9783540291060 / Angielski / Miękka / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 9th International Conference on Theoretical Computer Science, 2005. The papers in this book address the issues in theoretical computer science and discusses topics as analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, and algebraic computation.
Constitutes the proceedings of the 9th International Conference on Theoretical Computer Science, 2005. The papers in this book address the issues in t...
|
cena:
201,24 |
 |
Natural Language Processing and Information Systems: 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Pr
ISBN: 9783540346166 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, held in Klagenfurt, Austria in May/June 2006 as part of UNISCON 2006. The book presents 17 revised full papers and 5 revised short papers, organized in topical sections on concepts extraction and ontology, ontologies and task repository utilization, query processing, information retrieval and dialog processing, and NLP techniques. This book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to Information Systems, NLD... |
cena:
201,24 |
 |
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
ISBN: 9783540404385 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented... This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformat... |
cena:
201,24 |
 |
Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceed
ISBN: 9783540431664 / Angielski / Miękka / 541 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents advances for the Z formal specification notion, and for the B method the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools and case studies.
This volume constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January...
|
cena:
201,24 |
 |
Automated Deduction in Equational Logic and Cubic Curves
ISBN: 9783540613985 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort.
Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and... This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in auto...
|
cena:
201,24 |
 |
Logical Aspects of Computational Linguistics: 4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings
ISBN: 9783540422730 / Angielski / Miękka / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLinguistics, heldJune27 29,2001inLeCroisic, France. TheLACLconferencesaimtoprovideaforumforthepresentationand discussionofcurrentresearchinalltheformalandlogicalaspectsofcompu- tionallinguistics. Theprogramcommitteeselected16papersfromsubmissionsofoverallhigh quality. Thepaperscoverawiderangeoftopics, includingcategorialgrammars, dependency grammars, formal languagetheory, grammaticalinference, hyp- intensionalsemantics, minimalism, andtype-logicalsemantics, byauthorsfrom Australia, Canada, Denmark,...
Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLinguistics, heldJune27 29,2001inLeCroisic, France. TheL...
|
cena:
201,24 |
 |
Coevolutionary Fuzzy Modeling
ISBN: 9783540229940 / Angielski / Miękka / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Building on fuzzy logic and evolutionary computing, this book introduces fuzzy cooperative coevolution as a novel approach to systems design, conductive to explaining human decision process. Fuzzy cooperative coevolution is a methodology for constructing systems able to accurately predict the outcome of a decision-making process, while providing an understandable explanation of the underlying reasoning. The central contribution of this work is the use of an advanced evolutionary technique, cooperative coevolution, for dealing with the simultaneous design of connective and... Building on fuzzy logic and evolutionary computing, this book introduces fuzzy cooperative coevolution as a novel approach to systems design, condu... |
cena:
201,24 |
 |
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
ISBN: 9783540278849 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, competences and services thanks to the generalization ofdatabasesandcommunication networks. Aprogramisnomore a monolithic entity conceived, produced and ?nalized before being used. A p- gram is now seen as an open and adaptive frame, which, for example, can - namically incorporate services not foreseen by the initial designer. These new needs call for new control structures and program interactions....
Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of ...
|
cena:
201,24 |
 |
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
ISBN: 9783540664635 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of papers constitutes the refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. The 20 revised full papers presented together with three invited contributions were reviewed and selected from 35 papers submitted. Various aspects of higher order theorem proving, formal verification, and specification are discussed. Among the theorem provers evaluated are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.
This collection of papers constitutes the refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs ...
|
cena:
201,24 |
 |
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000 Proceedings
ISBN: 9783540677789 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with two invited contributions were carefully reviewed and selected from 44 submissions.
This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norw...
|
cena:
201,24 |
 |
Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
ISBN: 9783540419501 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.
This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school... Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming parad...
|
cena:
201,24 |
 |
Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
ISBN: 9783540285380 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995), Dagstuhl, Germany(1997), ElPaso, TX, USA(1999), Vienna, A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinter- tions between active researchers interested in all aspects concerning declarative logic programming, nonmonotonic...
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washi...
|
cena:
201,24 |
 |
Natural Language Processing and Information Systems: 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
ISBN: 9783540260318 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. NLDB 2005, the 10th International Conference on Applications of Natural L- guage to Information Systems, was held on June 15-17, 2005 at the University of Alicante, Spain. Since the ?rst NLDB conference in 1995 the main goal has been to provide a forum to discuss and disseminate research on the integration of natural language resources in information system engineering. The development and convergence of computing, telecommunications and information systems has already led to a revolution in the way that we work, communicate with each other, buy goods and use services, and even in the way...
NLDB 2005, the 10th International Conference on Applications of Natural L- guage to Information Systems, was held on June 15-17, 2005 at the Universit...
|
cena:
201,24 |
 |
Conceptual Structures: Common Semantics for Sharing Knowledge: 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings
ISBN: 9783540277835 / Angielski / Miękka / 467 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 13th International Conference on Conceptual Structures (ICCS 2005) was held in Kassel, Germany, during July 17 22, 2005. Information about the c- ference can be found athttp: //www.kde.cs.uni-kassel.de/conf/iccs05. The title of this year s conference, Common Semantics for Sharing Kno- edge, waschosentoemphasizeontheonehandtheoverallaimofanyknowledge representationformalism, to support the sharing of knowledge, and on the other hand the importance of a common semantics to avoiddistortion of the meaning. We understand that both aspects are of equal importance for a successful future of the...
The 13th International Conference on Conceptual Structures (ICCS 2005) was held in Kassel, Germany, during July 17 22, 2005. Information about the c- ...
|
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
