| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910790204903321 |
|
|
Autore |
Lynch Edward A. |
|
|
Titolo |
The Cold War's last battlefield : Reagan, the Soviets, and Central America / / Edward A. Lynch |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Albany, New York : , : State University of New York Press, , 2011 |
|
©2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (352 p.) |
|
|
|
|
|
|
Collana |
|
Global Academic Publishing Book |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Cold War |
United States Foreign relations 1981-1989 |
United States Foreign relations Central America |
Central America Foreign relations United States |
United States Foreign relations Soviet Union |
Soviet Union Foreign relations United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
""The Cold War�s Last Battlefield""; ""Contents""; ""Preface: Why a Book on Central America?""; ""Acknowledgments""; ""Prologue: Ronald Reagan Issues a Warning""; ""1. What Reagan Faced""; ""2. Infighting: Wars Over U.S. Foreign Policy""; ""3. Opening Moves: The “Final Offensive,� 1981""; ""4. Making Enemies in Nicaragua,1979�1982 ""; ""5. The Wars Escalate, 1982�1983""; ""6. The End of the Brezhnev Doctrine, 1983""; ""7. Muddying (and Mining) the Waters ,1984�1985""; ""8. The War at Home,1981�1986""; ""9. The Iran-Contra Scandal,1986�1987"" |
""10. Another Year, Another Peace Plan,1987""""11. Endgame""; ""12. Reagan�s Legacy""; ""Epilogue: Central America and the War on Terror""; ""Index""; ""A ""; ""B ""; ""C ""; ""D ""; ""E ""; ""F ""; ""G ""; ""H ""; ""I ""; ""J ""; ""K ""; ""L ""; ""M ""; ""N ""; ""O ""; ""P ""; ""Q ""; ""R ""; ""S ""; ""T ""; ""U ""; ""V ""; ""W ""; ""Y ""; ""Z "" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483640303321 |
|
|
Titolo |
Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers / / edited by Francisco Botana, Tomas Recio |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 218 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 4869 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Geometry |
Artificial intelligence |
Computer graphics |
Machine theory |
Pattern recognition systems |
Computer science - Mathematics |
Discrete mathematics |
Artificial Intelligence |
Computer Graphics |
Formal Languages and Automata Theory |
Automated Pattern Recognition |
Discrete Mathematics in Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic Verification of Regular Constructions in Dynamic Geometry Systems -- Recognition of Computationally Constructed Loci -- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems -- Cylinders Through Five Points: Complex and Real Enumerative Geometry -- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems -- Mechanical Theorem Proving in |
|
|
|
|
|
|
|
|
|
|
|
Tarski’s Geometry -- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons -- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry -- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System -- Constructing a Tetrahedron with Prescribed Heights and Widths. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies. |
|
|
|
|
|
|
|
| |