|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17976 occurrences of 6591 keywords
|
|
|
Results
Found 65387 publication records. Showing 65387 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Christophe Jermann, Bertrand Neveu, Gilles Trombettoni |
A New Structural Rigidity for Geometric Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 87-106, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Gábor Bodnár |
Algorithmic Tests for the Normal Crossing Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 1-20, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Mohamed Shalaby, Bert Jüttler, Josef Schicho |
C1 Spline Implicitization of Planar Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 161-177, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
knot removal, approximation, B-spline, implicitization |
23 | XueFeng Chen, DingKang Wang |
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 21-30, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Lu Yang |
Distance Coordinates Used in Geometric Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 216-229, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | John C. Owen, Steve C. Power |
The Nonsolvability by Radicals of Generic 3-connected Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 124-131, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Solen Corvez, Fabrice Rouillier |
Using Computer Algebra Tools to Classify Serial Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 31-43, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Dongming Wang 0001 |
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 194-215, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Alexander A. Pasko, Valery Adzhiev |
Function-Based Shape Modeling: Mathematical Framework and Specialized Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 132-160, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Irina Tchoupaeva |
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 178-193, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Jürgen Richter-Gebert, Dongming Wang 0001 (eds.) |
Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![Springer, 3-540-42598-5 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Hubert Comon |
Inductionless Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 913-962, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Nachum Dershowitz, David A. Plaisted |
Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 535-610, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini |
Reasoning in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1581-1634, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Frank Pfenning |
Logical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1063-1147, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Leo Bachmair, Harald Ganzinger |
Resolution Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 19-99, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | I. V. Ramakrishnan, R. Sekar 0001, Andrei Voronkov |
Term Indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1853-1964, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Weidenbach |
Combining Superposition, Sorts and Splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1965-2013, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Matthias Baaz, Uwe Egly, Alexander Leitsch |
Normal Form Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 273-333, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Alan Bundy |
The Automation of Proof by Mathematical Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 845-911, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Andreas Nonnengart, Christoph Weidenbach |
Computing Small Clause Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 335-367, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Peter B. Andrews |
Classical Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 965-1007, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jürgen Dix, Ulrich Furbach, Ilkka Niemelä |
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1241-1354, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay |
Encoding Two-Valued Nonclassical Logics in Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1403-1486, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Arild Waaler |
Connections in Nonclassical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1487-1578, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet |
Resolution Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1791-1849, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Reinhold Letz, Gernot Stenz |
Model Elimination and Connection Tableau Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 2015-2114, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Robert Nieuwenhuis, Albert Rubio |
Paramodulation-Based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 371-443, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Anatoli Degtyarev, Andrei Voronkov |
The Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 179-272, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Reiner Hähnle |
Tableaux and Related Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 100-178, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | John Alan Robinson, Andrei Voronkov |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. v-vii, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Gilles Dowek |
Higher-Order Unification and Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1009-1062, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Bockmayr, Volker Weispfenning |
Solving Numerical Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 751-842, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Edmund M. Clarke, Bernd-Holger Schlingloff |
Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1635-1790, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Henk Barendregt, Herman Geuvers |
Proof-Assistants Using Dependent Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1149-1238, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Franz Baader, Wayne Snyder |
Unification Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 445-532, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Anatoli Degtyarev, Andrei Voronkov |
Equality Reasoning in Sequent-Based Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 611-706, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang |
A Hybrid Method for Solving Geometric Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 16-25, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Daniela Tulone, Chee-Keng Yap, Chen Li 0003 |
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 58-82, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Christoph M. Hoffmann, Bo Yuan |
On Spatial Constraint Solving Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 1-15, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Fabrice Rouillier, Mohab Safey El Din, Éric Schost |
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 26-40, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck |
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 306-324, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes 0001 |
The Kinds of Truth of Geometry Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 129-142, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Timothy F. Havel |
Qubit Logic, Algebra and Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 228-245, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Philippe Aubry, Dongming Wang 0001 |
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 154-174, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Ulrich Kortenkamp, Jürgen Richter-Gebert |
Decision Complexity in Dynamic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 193-198, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Jacques D. Fleuriot |
Nonstandard Geometric Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 246-267, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Pasqualina Conti, Carlo Traverso |
Algebraic and Semialgebraic Proofs: Methods and Paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 83-103, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano |
Remarks on Geometric Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 104-128, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Xiao-Shan Gao, Dongming Wang 0001, Lu Yang (eds.) |
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![Springer, 3-540-66672-9 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Chuan-Zhong Li, Jing-Zhong Zhang |
Readable Machine Solving in Geometry and ICAI Software MSG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 67-85, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Haiquan Yang, Shugong Zhang, Guochen Feng |
A Clifford Algebraic Method for Geometric Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 111-129, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Wu Wen-Tsün |
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 1-13, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Andreas Dolzmann |
Solving Geometric Problems with Real Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 14-29, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Hongbo Li |
Some Applications of Clifford Algebra to Geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 156-179, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Jae Yeol Lee |
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 258-274, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
variational design, constructive constraint solving, graph reduction, Parametric design |
23 | Desmond Fearnley-Sander |
Plane Euclidian Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 86-110, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Zongying Ou, Jun Liu |
Variant Geometry Analysis and Synthesis in Mechanical CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 275-286, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang 0001 |
Clifford Term Rewriting for Geometric Reasoning in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 130-155, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo |
An Application of Automatic Theorem Proving in Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 207-231, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Jacques D. Fleuriot, Lawrence C. Paulson |
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 47-66, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Dongming Wang 0001 |
Decomposing Algebraic Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 180-206, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Chase H. Kenyon, Pushkin Kachroo (eds.) |
Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![SPIE, 978-0-8194-2305-4 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
23 | Jeffrey N. Callen, John M. Iaconis |
Distributed control system for vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 164-172, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Chase H. Kenyon |
Practical on-board weigh-in-motion system for commercial vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 156-163, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Seung Do Kim, Myung Jin Chung |
Online sensor calibration and localization for mobile robot navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 98-105, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Suk B. Lee, Jang Myung Lee, Man Hyung Lee |
Integrated wiring system for construction equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 135-146, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Giovanna Castellano, Ettore Stella, Giovanni Attolico, Arcangelo Distante |
Optimizing a fuzzy logic controller for reactive navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 106-117, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Randall DeFauw, Sridhar Lakshmanan, Natarajan Narasimhamurthi, Michael Beauvais, Karl C. Kluge |
STARLITE: a steering autonomous robot's lane investigation and tracking element. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 147-155, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Michael J. Schreiber, Stephen L. Dickerson |
Outdoor tracking using machine vision, xenon strobe illumination, and retroreflective landmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 63-74, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Paul J. Johnson, Kevin L. Chapman, John S. Bay |
Navigation of an autonomous ground vehicle using the subsumption architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 54-62, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Willie Y. Lim |
Graphical user interface layer for BALI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 34-43, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Eric Colon, Yvan Baudoin |
Development and evaluation of distributed control algorithms for the mobile robot Nomad200. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 86-97, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Cem Ünsal, Pushkin Kachroo |
Analytic nonlinear observer-based design for antilock braking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 22-33, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Hobart R. Everett, Douglas W. Gage |
Third-generation security robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 118-126, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Georgi Stojanov, Stevo Bozinovski, Liljana Bozinovska |
AV control system which makes use of environment stabilizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 44-53, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Robert Larsen |
Feasibility of advanced vehicle control systems (AVCS) for transit buses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 127-134, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Karsten Berns, Winfried Ilg, Stefan Cordes, Martin Eberl, Robert Suna |
Multijoint robot for autonomous sewer inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 10-21, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Peggy Israel Doerschuk, Vihn Nguyen, Mani Venkatesh, Faqiang Kwong, Andrew L. Li |
Intelligent control of a simulated running jointed leg. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Robots / Automated Vehicle Control Systems ![In: Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996, pp. 2-9, 1996, SPIE, 978-0-8194-2305-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Peter E. Lauer (eds.) |
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![Springer, 3-540-56883-2 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Stephen J. Garland, John V. Guttag, James J. Horning |
An Overview of Larch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 329-348, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | John H. Reppy |
Concurrent ML: Design, Application and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 165-198, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Jeffery I. Zucker |
Propositional Temporal Logics and Their Use in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 108-116, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Peter E. Lauer |
On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 1-31, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Nachum Dershowitz |
A Taste of Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 199-228, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels |
The EVES System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 349-373, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | David B. MacQueen |
Reflections on Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 32-46, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Michael Barnett 0001, Christian Lengauer |
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 374-398, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen |
Specification and Simulation with ExSpect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 296-327, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | John Ophel |
An Introduction to the High-Level Language Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 47-70, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Timothy C. Winkler |
Programming in OBJ and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 229-277, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Jeffery I. Zucker |
The Propositional mu-Calculus and Its Use in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 117-128, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli |
Modeling an NORAD Command Post Using SADT and Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 84-107, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Rance Cleaveland |
Analysing Concurrent Systems Using the Concurrency Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 129-144, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Richard A. Frost, S. Karamatos |
Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 278-295, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Douglas J. Howe |
Reasoning About Functional Programs in Nuprl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 145-164, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Jawahar Malhotra, Robert M. Shapiro |
Generating an Algorithm for Executing Graphical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 71-83, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Robert S. Boyer (eds.) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning ![Kluwer Academic Publishers, 0-7923-1409-3 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Robert S. Boyer, J Strother Moore |
MJRTY: A Fast Majority Vote Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 105-118, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Owen L. Astrachan, Donald W. Loveland |
METEORs: High Performance Theorem Provers Using Model Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 31-60, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
Displaying result #301 - #400 of 65387 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|