» książki » Mathematics - Logic
topmenu
 |
Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
ISBN: 9783540573227 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains updated versions of papers presented at the 1st Artificial Intelligence and Symbolic Mathematical Computations Conference, held in Karlsruhe, Germany in August 1992.
This volume contains updated versions of papers presented at the 1st Artificial Intelligence and Symbolic Mathematical Computations Conference, held i...
|
cena:
201,24 |
 |
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
ISBN: 9783540581406 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.
The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi,... This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg...
|
cena:
201,24 |
 |
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
ISBN: 9783540593386 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995.
Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal... This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, ...
|
cena:
201,24 |
 |
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
ISBN: 9783540594871 / Angielski / Miękka / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently... This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic...
|
cena:
201,24 |
 |
Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings
ISBN: 9783540600435 / Angielski / Miękka / 597 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and... This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada...
|
cena:
402,53 |
 |
Tractable Reasoning in Aritificial Intelligence
ISBN: 9783540600589 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.
This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking... Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity,...
|
cena:
201,24 |
 |
Grading Knowledge: Extracting Degree Information from Texts
ISBN: 9783540669340 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you are sitting in a basement room without a view not to mention the bars in front of the windows and writing a book, then you better have good company. I had the best company you could imagine. Waltraud Hiltl, Katja Markert, Martin Romacker, Klemens Schnattinger, Andreas Klee and I shared very little o?ce space, but plenty of chocolate, co?ee, champagne, and enthusiasm for our research. North German coolness and creativity sprang mostly from my colleagues in the second ?oor. I learned a lot from and laughed a lot with Nobi Br]oker, Susanne (Sue) Schacht, Manfred Klenner, Peter Neuhaus,...
If you are sitting in a basement room without a view not to mention the bars in front of the windows and writing a book, then you better have good com...
|
cena:
201,24 |
 |
Modeling and Using Context: 4th International and Interdisciplinary Conference, Context 2003, Stanford, Ca, Usa, June 23-25, 2003, Proceedings
ISBN: 9783540403807 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Whetheryouareacomputerscientist, alogician, aphilosopher, orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and representation. The conference at which the papers in this volume were presented was the fourth in an international series devoted to research on context, and was held in Stanford (USA) on June 23-25, 2003. The ?rst conference in the series was held in Rio de Janeiro (Brazil) in 1997, the second was held in Trento (Italy) in 1999, and the third was held in Dundee (Scotland, UK) in 2001. CONTEXT2003 brought together...
Whetheryouareacomputerscientist, alogician, aphilosopher, orapsychologist, it is crucial to understand the role that context and contextual informatio...
|
cena:
402,53 |
 |
Stacs 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
ISBN: 9783540552109 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata...
This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately...
|
cena:
402,53 |
 |
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
ISBN: 9783540562825 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledge representation and belief systems, and programme transformation and analysis in logic. Particular topics include belief revision systems, intensional deduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programmes, semantics of the vanilla metainterpreter,...
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, ...
|
cena:
201,24 |
 |
Fuzzy Logic, Neural Networks, and Evolutionary Computation: Ieee/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995,
ISBN: 9783540619888 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book includes a selection of twelve carefully revised papers chosen from the papers accepted for presentation at the 4th IEEE/Nagoya-University World Wisepersons Workshop held in Nagoya in November 1995.
The combining of the technologies of fuzzy logic, neural networks, and evolutionary computation is expected to open up a new paradigm of machine learning for the realization of human-like information generating systems. The excellent papers presented are organized in sections on fuzzy and evolutionary computation, fuzzy and learning automata, fuzzy and neural networks, genetic... This book includes a selection of twelve carefully revised papers chosen from the papers accepted for presentation at the 4th IEEE/Nagoya-University W...
|
cena:
201,24 |
 |
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
ISBN: 9783540633884 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; process algebras; logical frameworks; and higher-order logics.
These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action c...
|
cena:
402,53 |
 |
Logic Programming and Knowledge Representation: Third International Workshop, Lpkr'97, Port Jefferson, New York, Usa, October 17, 1997, Selected Paper
ISBN: 9783540649588 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997.
The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates. This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representa...
|
cena:
201,24 |
 |
Logical Aspects of Computational Linguistics: Second International Conference, Lacl'97, Nancy, France, September 22-24, 1997, Selected Papers
ISBN: 9783540657514 / Angielski / Miękka / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997.
The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages. This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics,...
|
cena:
201,24 |
 |
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing: 7th International Workshop, Rsfdgrc'99, Yamaguchi, Japan, November 9-11, 1999
ISBN: 9783540666455 / Angielski / Miękka / 566 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the Seventh Int- national Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (RSFDGrC 99) held in the Yamaguchi Resort Center, Ube, Y- aguchi, Japan, November 9-11, 1999. The workshop was organized by Inter- tional Rough Set Society, BISC Special Interest Group on Granular Comp- ing (GrC), Polish-JapaneseInstitute of Information Technology, and Yamaguchi University. RSFDGrC 99providedaninternationalforumforsharingoriginalresearch results and practical development experiences among experts in these emerging...
This volume contains the papers selected for presentation at the Seventh Int- national Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-S...
|
cena:
402,53 |
 |
Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
ISBN: 9783540620341 / Angielski / Miękka / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996.
The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory. This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Sci...
|
cena:
201,24 |
 |
Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings
ISBN: 9783540627173 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.
The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation. This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. |
cena:
201,24 |
 |
Non-Monotonic Extensions of Logic Programming: Second International Workshop Nmelp '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
ISBN: 9783540628439 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996.
The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled... This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Program...
|
cena:
201,24 |
 |
Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings
ISBN: 9783540631668 / Angielski / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.
The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record... This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Is...
|
cena:
201,24 |
 |
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, Plilp '97, Including a Special Track on Declarative Program
ISBN: 9783540633983 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include... This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PL...
|
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
