Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Taschenbuch
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer Vienna, Englisch, Englisch, Englisch, Springer Vienna, Book, Springer Vienna, Springer Vienna, 63372011, Systemanalyse & Design, 63336011, Info… Mehr…
Amazon.de (Intern... Amazon.de Neuware Versandkosten:Versandkostenfrei innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 0.00) Details... |
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Taschenbuch
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… Mehr…
Amazon.de (Intern... MEDIMOPS Gebraucht. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Taschenbuch
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… Mehr…
Amazon.de (Intern... overseasboutique Neuware. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
1995, ISBN: 9783211826003
Vorwort: Cunningham, J. Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1995, 234 Seiten, Publiziert: 1995-03-01T00:00:01Z, Produktgruppe: Buch, 1.01 kg, Informa… Mehr…
amazon.de DGBook-K Gebraucht, wie neu. Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2001, ISBN: 9783211826003
Springer, 2001. New and Unread copy. IMPORTANT NOTE: For Books more than 2.5Kgs or with remote addresses or multi volume sets, additional shipment may be requested. , Springer, 2001
Biblio.com |
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Taschenbuch
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer Vienna, Englisch, Englisch, Englisch, Springer Vienna, Book, Springer Vienna, Springer Vienna, 63372011, Systemanalyse & Design, 63336011, Info… Mehr…
Jochen Pfalzgraf, Dongming Wang, J. Cunningham:
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - TaschenbuchISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… Mehr…
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Taschenbuch
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… Mehr…
1995, ISBN: 9783211826003
Vorwort: Cunningham, J. Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1995, 234 Seiten, Publiziert: 1995-03-01T00:00:01Z, Produktgruppe: Buch, 1.01 kg, Informa… Mehr…
2001, ISBN: 9783211826003
Springer, 2001. New and Unread copy. IMPORTANT NOTE: For Books more than 2.5Kgs or with remote addresses or multi volume sets, additional shipment may be requested. , Springer, 2001
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation)
EAN (ISBN-13): 9783211826003
ISBN (ISBN-10): 3211826009
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Pfalzgraf, Jochen, Wang, Dongming, Springer
Buch in der Datenbank seit 2008-12-12T00:16:11+01:00 (Zurich)
Detailseite zuletzt geändert am 2021-07-10T15:12:23+02:00 (Zurich)
ISBN/EAN: 3211826009
ISBN - alternative Schreibweisen:
3-211-82600-9, 978-3-211-82600-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: pfalzgraf
Titel des Buches: automated reasoning, practical reasoning
Daten vom Verlag:
Autor/in: Jochen Pfalzgraf; Dongming Wang
Titel: Texts and Monographs in Symbolic Computation; Automated Practical Reasoning - Algebraic Approaches
Verlag: Springer; Springer Wien
223 Seiten
Erscheinungsjahr: 1995-03-01
Vienna; AT
Gewicht: 0,460 kg
Sprache: Englisch
85,55 € (DE)
87,95 € (AT)
106,60 CHF (CH)
Not available, publisher indicates OP
BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Wissensbasierte Systeme, Expertensysteme; Verstehen; computer algebra; robot; proving; computer; Reasoning; logic; geometry; algorithms; modeling; algorithm; theorem proving; robotics; C; Special Purpose and Application-Based Systems; Computer Science; Programming Techniques; Mathematical Logic and Formal Languages; Algorithms; Symbolic and Algebraic Manipulation; Mathematical Logic and Foundations; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Numerische Mathematik; Mathematik für Informatiker; Mathematische Grundlagen; Mathematik: Logik; EA
An algorithm for solving systems of algebraic equations in three variables.- 1 Introduction.- 2 Definitions.- 3 Basic properties of primitive polynomial remainder sequences and elimination sequences.- 4 Application of elimination sequences: solution of systems of algebraic equations.- 5 Systems of algebraic equations in two variables.- 6 Systems of algebraic equations in three variables.- 7 Applications in neural networks theory.- References.- On a general notion of a hull.- 1 Introduction.- 2 Basic notions.- 3 General relational structures.- 4 Some examples.- 5 Prospects.- 6 Concluding remarks.- References.- On robotics scenarios and modeling with fibered structures.- 1 Introduction.- 2 Motivational remarks and background.- 3 Description of the first subscenario.- 4 The logical fibering model.- 5 A proposed model of the general state space of an agent.- 6 Subscenario with autonomous agents.- 7 Conclusion.- References.- On algorithmic parametrization methods in algebraic geometry.- 1 Introduction.- 2 Rational and unirational varieties.- 3 Curves.- 4 Surfaces.- 5 Higher dimensional varieties.- References.- Towards a categorical calculus for critical-pair/completion.- 1 Introduction.- 2 Overview of CPC-procedures.- 3 An axiomatic framework.- 4 A little category theory.- 5 Reversed limits.- 6 A categorical model for CPC-procedures.- References.- CASA: computer algebra software for computing with algebraic sets.- 1 Introduction.- 2 Intersection of algebraic sets — a case study.- 3 Puiseux expansion in CASA.- References.- Reasoning about geometric problems using an elimination method.- 1 Introduction.- 2 An elimination method for polynomial systems.- 3 Mechanical geometry theorem proving.- 4 Automatic derivation of unknown relations.- 5 Automatic derivation of locus equations.- 6 Implicitization of parametric objects.- 7 Existence conditions and detection of singularities.- 8 Decomposition of algebraic varieties.- 9 Inverse robot kinematics.- 10 Intersection of geometric objects.- References.- An implementation of the characteristic set method in Maple.- 1 Introduction and notations.- 2 Description of user functions.- 3 Modifications and strategies.- 4 Test results and remarks.- Appendix: Test problems.- References.- A nonmonotonic extension to Horn-clause logic.- 1 Introduction.- 2 Semantics of nonmonotonic Horn-clause theories.- 3 Soundness and completeness of nonmonotonic Horn-clause theories.- 4 Relationship to model-theoretic semantics.- 5 Conclusion.- References.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783709166048 Automated Practical Reasoning (Jochen Pfalzgraf; Dongming Wang)
< zum Archiv...