» książki » Mathematics - Logic
topmenu
 |
Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, Bc, Canada, June 28-July 2, 1998, Proceedings
ISBN: 9783540646082 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Cana...
|
cena:
402,53 |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
ISBN: 9783540660866 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX 99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont- a-Mousson near Nancy (1997), and Oist- wijk near Tilburg (1998). TABLEAUX 99 marks the ?rst time the conference...
ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX 99) held on June 7-11, 19...
|
cena:
201,24 |
 |
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 |
 |
Case-Based Reasoning Research and Development: Third International Conference on Case-Based Reasoning, Iccbr-99, Seeon Monastery, Germany, July 27-30,
ISBN: 9783540662372 / Angielski / Miękka / 604 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Case-Based Reasoning, ICCBR-99, held in Seeon Monastery near Munich, Germany, in July 1999.
The 43 revised papers presented were carefully reviewed and selected from a total of 80 submissions. The book presents mature work and innovative ideas on fundamental and applied research in case-based reasoning and various fields of advanced application. The topics addressed cover the whole spectrum of CBR from formal logics and knowledge-based systems to software engineering, workflow management, decision... This book constitutes the refereed proceedings of the Third International Conference on Case-Based Reasoning, ICCBR-99, held in Seeon Monastery near M...
|
cena:
402,53 |
 |
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 |
 |
Connectionist Approaches in Economics and Management Sciences
ISBN: 9781402075353 / Angielski / Twarda / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the beginning of the 1980's, a lot of news approaches of biomimetic inspiration have been defined and developed for imitating the brain behavior, for modeling non linear phenomenon, for providing new hardware architectures, for solving hard problems. They are named Neural Networks, Multilayer Perceptrons, Genetic algorithms, Cellular Automates, Self-Organizing maps, Fuzzy Logic, etc. They can be summarized by the word of Connectionism, and consist of an interdisciplinary domain between neuroscience, cognitive science and engineering. First they were applied in computer sciences,...
Since the beginning of the 1980's, a lot of news approaches of biomimetic inspiration have been defined and developed for imitating the brain behavior...
|
cena:
402,53 |
 |
Advances in Artificial Intelligence - Sbia 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October
ISBN: 9783540232377 / Angielski / Miękka / 554 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. SBIA, the Brazilian Symposium on Arti?cial Intelligence, is a biennial event intended to be the main forum of the AI community in Brazil. The SBIA 2004 was the 17th issue of the series initiated in 1984. Since 1995 SBIA has been accepting papers written and presented only in English, attracting researchers from all over the world. At that time it also started to have an international program committee, keynote invited speakers, and proceedings published in the Lecture Notes in Arti?cial Intelligence (LNAI) series of Springer (SBIA 1995, Vol. 991, SBIA 1996, Vol. 1159, SBIA 1998, Vol. 1515,...
SBIA, the Brazilian Symposium on Arti?cial Intelligence, is a biennial event intended to be the main forum of the AI community in Brazil. The SBIA 200...
|
cena:
402,53 |
 |
Zb 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, Uk, April 13-15, 2005, Proceedings
ISBN: 9783540255598 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst' emes R' eseaux within theInstitut d'Informatique et Math' ematique Appliqu' ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS)....
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the sou...
|
cena:
402,53 |
 |
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 |
 |
Machine Learning and Data Mining in Pattern Recognition: 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings
ISBN: 9783540269236 / Angielski / Miękka / 698 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We met again in front of the statue of Gottfried Wilhelm von Leibniz in the city of Leipzig. Leibniz, a famous son of Leipzig, planned automatic logical inference using symbolic computation, aimed to collate all human knowledge. Today, artificial intelligence deals with large amounts of data and knowledge and finds new information using machine learning and data mining. Machine learning and data mining are irreplaceable subjects and tools for the theory of pattern recognition and in applications of pattern recognition such as bioinformatics and data retrieval. This was the fourth edition of...
We met again in front of the statue of Gottfried Wilhelm von Leibniz in the city of Leipzig. Leibniz, a famous son of Leipzig, planned automatic logic...
|
cena:
402,53 |
 |
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 |
 |
Ideal Spaces
ISBN: 9783540631606 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.g. Lebesgue and Orlicz spaces. Their most important application is in functional analysis in the theory of (usual and partial) integral and integro-differential equations. The book is a rather complete and self-contained introduction into the general theory of ideal spaces. Some emphasis is put on spaces of vector-valued functions and on the constructive viewpoint of the theory (without the axiom of choice). The reader should have basic knowledge in functional analysis and measure theory.
Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.g. Lebesgue and Orlicz spaces. Their most important a...
|
cena:
140,86 |
 |
Knowledge Discovery in Databases: PKDD 2003: 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
ISBN: 9783540200857 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the Proceedings of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2838). The two conferences were held on September 22-26, 2003 in Cavtat, a small tourist town in the vicinity of Dubrovnik, Croatia. As machine learning and knowledge discovery are two highly related ?elds, theco-locationofbothconferencesisbene?cialforbothresearchcommunities.In Cavtat, ECML and PKDD were co-located for the third time...
The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the...
|
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
