- 5 Ergebnisse
Kleinster Preis: € 69,13, größter Preis: € 83,92, Mittelwert: € 77,51
1
Automated Practical Reasoning : Algebraic Approaches - Hans P. Lenz
Bestellen
bei hive.co.uk
£ 61,20
(ca. € 69,51)
Bestellen
Details und Versand
gesponserter Link
Hans P. Lenz:

Automated Practical Reasoning : Algebraic Approaches - neues Buch

ISBN: 9783709166048

This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing… Mehr…

No. 9783709166048. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
2
Bestellen
bei lehmanns.de
€ 83,92
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Jochen Pfalzgraf; Dongming Wang:

Automated Practical Reasoning - neues Buch

2012, ISBN: 9783709166048

Algebraic Approaches, eBooks, eBook Download (PDF), This book is a collection of selected papers written by researchers qf our &quote;RISC&quote; institute (Research Institute for… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
3
Automated Practical Reasoning
Bestellen
bei Hugendubel.de
€ 82,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Automated Practical Reasoning - neues Buch

ISBN: 9783709166048

Automated Practical Reasoning ab 82.49 € als pdf eBook: Algebraic Approaches. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher, Automated Practical Reasonin… Mehr…

Nr. 33510476. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
4
Automated Practical Reasoning : Algebraic Approaches - John Davenport
Bestellen
bei hive.co.uk
£ 61,20
(ca. € 69,13)
Bestellen
Details und Versand
gesponserter Link
John Davenport:
Automated Practical Reasoning : Algebraic Approaches - neues Buch

ISBN: 9783709166048

; PDF; Scientific, Technical and Medical > Mathematics > Geometry > Algebraic geometry, Springer Netherlands

No. 9783709166048. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
5
Automated Practical Reasoning
Bestellen
bei eBook.de
€ 82,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Automated Practical Reasoning - neues Buch

ISBN: 9783709166048

Automated Practical Reasoning - Algebraic Approaches: ab 82.49 € Medien > Bücher > E-books

Nr. 33510476. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Automated Practical Reasoning
Autor:
Titel:
ISBN-Nummer:

9783709166048

Detailangaben zum Buch - Automated Practical Reasoning


EAN (ISBN-13): 9783709166048
Erscheinungsjahr: 2012
Herausgeber: Springer Vienna

Buch in der Datenbank seit 2017-05-03T01:31:21+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-10-06T21:50:25+02:00 (Zurich)
ISBN/EAN: 9783709166048

ISBN - alternative Schreibweisen:
978-3-7091-6604-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: cunningham, john davenport, pfalzgraf
Titel des Buches: automated reasoning, practical

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: 2012-12-06
Vienna; AT
Sprache: Englisch
82,38 € (DE)
82,38 € (AT)
106,50 CHF (CH)
Available
XI, 223 p. 1 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Wissensbasierte Systeme, Expertensysteme; Verstehen; Reasoning; algorithm; algorithms; computer; computer algebra; geometry; logic; modeling; proving; robot; robotics; theorem proving; C; Special Purpose and Application-Based Systems; Programming Techniques; Mathematical Logic and Formal Languages; Algorithms; Symbolic and Algebraic Manipulation; Mathematical Logic and Foundations; Special Purpose and Application-Based Systems; Programming Techniques; Formal Languages and Automata Theory; Algorithms; Symbolic and Algebraic Manipulation; Mathematical Logic and Foundations; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Algorithmen und Datenstrukturen; Mathematik für Informatiker; Mathematik: Logik; Mathematische Grundlagen; BC

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.
< zum Archiv...