Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Livro de bolso
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer Vienna, Englisch, Englisch, Englisch, Springer Vienna, Book, Springer Vienna, Springer Vienna, 63372011, Systemanalyse & Design, 63336011, Info… mais…
Amazon.de (Intern... Amazon.de Neuware Custos de envio:Versandkostenfrei innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 0.00) Details... |
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Livro de bolso
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… mais…
Amazon.de (Intern... MEDIMOPS Gebraucht. Custos de envio: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) - Livro de bolso
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… mais…
Amazon.de (Intern... overseasboutique Neuware. Custos de envio: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… mais…
amazon.de DGBook-K Gebraucht, wie neu. Custos de envio: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) - Livro de bolso
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer Vienna, Englisch, Englisch, Englisch, Springer Vienna, Book, Springer Vienna, Springer Vienna, 63372011, Systemanalyse & Design, 63336011, Info… mais…
Jochen Pfalzgraf, Dongming Wang, J. Cunningham:
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Livro de bolsoISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… mais…
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Livro de bolso
ISBN: 3211826009
Taschenbuch, [EAN: 9783211826003], Springer, Springer, Book, [PU: Springer], Springer, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63… mais…
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… mais…
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
Dados bibliográficos do melhor livro correspondente
Dados detalhados do livro - Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation)
EAN (ISBN-13): 9783211826003
ISBN (ISBN-10): 3211826009
Livro de bolso
Ano de publicação: 2001
Editor/Editora: Pfalzgraf, Jochen, Wang, Dongming, Springer
Livro na base de dados desde 2008-12-11T23:16:11+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2021-07-10T14:12:23+01:00 (Lisbon)
Número ISBN/EAN: 3211826009
Número ISBN - Ortografia alternativa:
3-211-82600-9, 978-3-211-82600-3
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: pfalzgraf
Título do livro: automated reasoning, practical reasoning
Dados da editora
Autor: Jochen Pfalzgraf; Dongming Wang
Título: Texts and Monographs in Symbolic Computation; Automated Practical Reasoning - Algebraic Approaches
Editora: Springer; Springer Wien
223 Páginas
Ano de publicação: 1995-03-01
Vienna; AT
Peso: 0,460 kg
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783709166048 Automated Practical Reasoning (Jochen Pfalzgraf; Dongming Wang)
< Para arquivar...