Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
449 Publications
- 1
- 2
- 3
- 4 (current)
- 5
2002 | Journal Article | LibreCat-ID: 16191
@article{Hüllermeier_Dubois_Prade_2002, title={Model adaption in possibilistic instance-based reasoning}, volume={10}, number={3}, journal={IEEE Transactions on Fuzzy Systems}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, year={2002}, pages={333–339} }
LibreCat
2002 | Journal Article | LibreCat-ID: 16192
@article{Dubois_Hüllermeier_Prade_2002, title={Fuzzy set-based methods in instance-based reasoning}, volume={10}, number={3}, journal={IEEE Transactions on Fuzzy Systems}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, year={2002}, pages={322–332} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 16232
@inbook{Hüllermeier_Dubois_Prade_2002, title={Knowledge-based extrapolation of cases: A possibilistic approach}, booktitle={Technologies for Constructing Intelligent Systems}, publisher={Springer}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, editor={Bouchon-Meunier, B. and Gutierrez-Rios, J. and Magdalena, L. and Yager, R.R.Editors}, year={2002}, pages={377–390} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 15300
@inproceedings{Hüllermeier_2001, title={Experience-based decision making and learning from examples}, booktitle={In Proceedings SOR-01 Symposium on Operations Research, Duisburg, Germany}, publisher={Springer}, author={Hüllermeier, Eyke}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 15805
@inproceedings{Hüllermeier_2001, title={Possibilistic instance-based learning}, booktitle={In Proceedings FGML-2001 German Workshop on Machine Learning, Dortmund, Germany}, author={Hüllermeier, Eyke}, year={2001}, pages={108–115} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 15806
@inproceedings{Hüllermeier_2001, title={Implication-based fuzzy association rules}, booktitle={In Proceedings FGML-2001 German Workshop on Machine Learning, Dortmund, Germany}, author={Hüllermeier, Eyke}, year={2001}, pages={93–99} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 15807
@inproceedings{Hüllermeier_Dubois_Prade_2001, title={Instance-based prediction in the framework of possibility theory}, booktitle={In Proceedings of Workshop on Soft Computing in Case-Based Reasoning, Vancouver, Canada}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 15106
@inproceedings{Hüllermeier_2001, series={LNAI}, title={Implication-based fuzzy association rules}, volume={2168}, booktitle={in Proceedings PKDD-01 5th European Conference on Principles and Practise of Knowledge Discovery in Databases, Freiburg, Germany}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Raedt, De. and Siebes, A.Editors}, year={2001}, pages={241–252}, collection={LNAI} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 15229
@inproceedings{Hüllermeier_2001, series={LNCS}, title={Fuzzy association rules: Semantic issues and quality measures}, volume={2206}, booktitle={in Proceedings of the International Conference on Computational Intelligence 7th Fuzzy Days, Dortmund, Germany}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Reusch, B.Editor}, year={2001}, pages={380–391}, collection={LNCS} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 15230
@inproceedings{Dubois_Hüllermeier_Prade_2001, title={Toward the representation of implication-based fuzzy rules in terms of crisp rules}, booktitle={in Proceedings IFSA/NAFIPS-2001 Joint 9th World Congress of the International Fuzzy Systems Association and 20th Internatinonal Conference of the North American Fuzzy Information Processing Society, Vancouver, Canada}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, year={2001}, pages={1592–1597} }
LibreCat
2001 | Journal Article | LibreCat-ID: 16193
@article{Hüllermeier_2001, title={Similarity-based inference as evidential reasoning}, volume={26}, journal={International Journal of Approximate Reasoning}, author={Hüllermeier, Eyke}, year={2001}, pages={67–100} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 16231
@inbook{Hüllermeier_2001, title={Machinelles Lernen und Komplexität}, booktitle={Ökonomie und Gesellschaft, Jahrbuch 17: Komplexität und Lernen}, publisher={Metropolis}, author={Hüllermeier, Eyke}, editor={Haslinger, F. and Weise, P.Editors}, year={2001}, pages={255–288} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 16233
@inbook{Kraft_Hüllermeier_Weise_2001, title={Empirische Überprüfung eines synergetischen Konjunkturmodells}, booktitle={Studien zur Evoltorischen Ökonomik IV}, publisher={Duncker & Humblot, Berlin}, author={Kraft, M. and Hüllermeier, Eyke and Weise, P.}, editor={Lorenz, H.-W. and Meyer, B.Editors}, year={2001}, pages={11–44} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15301
@inproceedings{Hüllermeier_2000, title={Fuzzy dynamics: Methodological framework and applications of compartmental modeling}, booktitle={in Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium}, author={Hüllermeier, Eyke}, editor={Dubois, D.M.Editor}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15302
@inproceedings{Gueroguieva_Nestorov_Rowland_Hüllermeier_2000, place={European Journal of Pharmaceutical Sciences}, title={In vitro-in vivo hepatic clearance prediction using fuzzy sets}, volume={11}, booktitle={in Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 }, author={Gueroguieva, I. and Nestorov, I. and Rowland, M. and Hüllermeier, Eyke}, year={2000}, pages={S22} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15808
@inproceedings{Dubois_Hüllermeier_Prade_2000, title={Flexible control of case-based prediction in the framework of possibility theory}, booktitle={In Proceedings RàPC-2000, Raisonnement à partir de Cas, Toulouse, France}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, year={2000}, pages={7–16} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 14844
@inproceedings{Hüllermeier_2000, title={Similarity-based inference as evidential reasoning}, booktitle={In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany}, publisher={IOS Press}, author={Hüllermeier, Eyke}, editor={Horn, W.Editor}, year={2000}, pages={50–54} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 14845
@inproceedings{Hüllermeier_2000, title={Focusing search by using problem solving experience}, booktitle={In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany}, publisher={IOS Press}, author={Hüllermeier, Eyke}, editor={Horn, W.Editor}, year={2000}, pages={55–59} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15063
@inproceedings{Hüllermeier_2000, title={Change detection in heuristic search}, booktitle={Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas}, author={Hüllermeier, Eyke}, year={2000}, pages={898–903} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15108
@inproceedings{Hüllermeier_2000, title={A method for predicting solutions in case-based problem solving}, booktitle={in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Blanzieri, E. and Portinale, L.Editors}, year={2000}, pages={124–135} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15109
@inproceedings{Dubois_Hüllermeier_Prade_2000, title={Flexible control of case-based prediction in the framework of possibility theory}, booktitle={in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy}, publisher={Springer}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, editor={Blanzieri, E. and Portinale, L.Editors}, year={2000}, pages={61–73} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15231
@inproceedings{Hüllermeier_Dubois_Prade_2000, title={Knowledge-based extrapolution of cases: A possibilistic approach}, booktitle={In Proceedings IPMU-2000 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, year={2000}, pages={1575–1582} }
LibreCat
2000 | Journal Article | LibreCat-ID: 16196
@article{Hüllermeier_Giersch_2000, title={Fuzzy dynamics and applications in biological systems modelling}, volume={38}, journal={Systems Analysis, Modelling, Simulation}, author={Hüllermeier, Eyke and Giersch, C.}, year={2000}, pages={29–50} }
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
@article{Hüllermeier_Kraft_Weise_2000, title={Evaluation and specification of a synergetic business cycle model with German data}, journal={Homo Oeconomicus XVI}, author={Hüllermeier, Eyke and Kraft, M. and Weise, P.}, year={2000} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 16234
@inbook{Dubois_Hüllermeier_Prade_2000, title={Formalizing case-based inference using fuzzy rules}, booktitle={Soft Computing in Case-Based Reasoning}, publisher={Springer}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, editor={Pal, S.K. and So, D.Y. and Dillon, T.Editors}, year={2000}, pages={47–72} }
LibreCat
1999 | Journal Article | LibreCat-ID: 19815
@article{Kleine Büning_Lettmann_1999, title={Resolution remains hard under equivalence}, DOI={10.1016/s0166-218x(99)00055-4}, journal={Discrete Applied Mathematics}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1999}, pages={139–148} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 15809
@inproceedings{Hüllermeier_Dubois_Prade_1999, title={Fuzzy rules in case-based reasoning}, booktitle={In Proceedings RàPC-1999, Raisonnement à partir de Cas, Paris Palaiseau, France, In Conferences AFIA-1999}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, year={1999}, pages={45–54} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 15062
@inproceedings{Hüllermeier_1999, title={Toward a probabilistic formalization of case-based inference}, booktitle={in Proceedings IJCAI-99, 16th international Joint Conference on Artificial Intelligence, Stockholm, Sweden}, publisher={Morgan Kaufmann}, author={Hüllermeier, Eyke}, editor={Dean, T.Editor}, year={1999}, pages={248–253} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 15107
@inproceedings{Hüllermeier_1999, series={LNCS}, title={Exploiting similarity for supporting data analysis and problem solving}, volume={1642}, booktitle={In Proceedings IDA-1999, 3th International Symposium on Intelligent Data Analysis, Amsterdam, Netherlands}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Hand, D.J. and Kok, J.N. and Berthold, M.R.Editors}, year={1999}, pages={257–268}, collection={LNCS} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 15232
@inproceedings{Hüllermeier_Dubois_Prade_1999, title={Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation}, booktitle={in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, editor={Zimmermann, H.J.Editor}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 15233
@inproceedings{Hüllermeier_1999, title={Toward models of case-based decision making}, booktitle={in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 15234
@inproceedings{Hüllermeier_1999, series={LNCS}, title={A possibilistic formalization of case-based reasoning and decision making}, volume={1625}, booktitle={in Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Reusch, B.Editor}, year={1999}, pages={411–420}, collection={LNCS} }
LibreCat
1999 | Journal Article | LibreCat-ID: 16199
@article{Hüllermeier_1999, title={Numerical methods for fuzzy initial value problems}, volume={7}, number={5}, journal={International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems}, author={Hüllermeier, Eyke}, year={1999}, pages={439–461} }
LibreCat
1999 | Journal Article | LibreCat-ID: 16200
@article{Hüllermeier_1999, title={Approximation of uncertain funtional relationships}, volume={101}, number={2}, journal={Fuzzy Sets and Systems}, author={Hüllermeier, Eyke}, year={1999}, pages={227–240} }
LibreCat
1999 | Book Chapter | LibreCat-ID: 16235
@inbook{Hüllermeier_1999, title={Qualitatives Schließen und Qualitative Simulation}, booktitle={Modellierung, Simulation und Künstliche Intelligenz}, publisher={SCS Publishing House, Erlangen}, author={Hüllermeier, Eyke}, editor={Szczerbicka, H. and Uthmann, T.Editors}, year={1999}, pages={277–310} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 15288
@inproceedings{Hüllermeier_Giersch_1998, title={Fuzzy sets and modelling of uncertainty in biological systems}, booktitle={In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne}, publisher={Editions E.D.K.}, author={Hüllermeier, Eyke and Giersch, C.}, year={1998}, pages={1857–1864} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 15289
@inproceedings{Hüllermeier_1998, title={A Bayesian approach to case-based probalistic reasoning}, booktitle={In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne}, publisher={Editions E.D.K.}, author={Hüllermeier, Eyke}, year={1998}, pages={1296–1303} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 15303
@inproceedings{Hüllermeier_1998, title={Numerical solutions for fuzzy initial value problems}, booktitle={in Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia}, author={Hüllermeier, Eyke}, editor={Borne, P. and Ksouri, M. and El Kamel, A.Editors}, year={1998} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 15810
@inproceedings{Hüllermeier_1998, title={Case-based probality and case-based decision making}, booktitle={in Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany}, author={Hüllermeier, Eyke}, editor={Gierl, L. and Lenz, M.Editors}, year={1998}, pages={13–22} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 15287
@inproceedings{Hüllermeier_1998, title={Fuzzy dynamics of compartmental systems}, booktitle={in Proceedings EUFIT-98 6th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1998} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 15290
@inproceedings{Hüllermeier_1997, title={Hierarchical propagation of uncertain constraints}, booktitle={in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1997}, pages={953–957} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 15291
@inproceedings{Hüllermeier_1997, title={Approximation of fuzzy functions}, booktitle={in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany}, author={Hüllermeier, Eyke}, editor={Grauel, A. and Becker, W. and Belli, F.Editors}, year={1997}, pages={374–381} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 15811
@inproceedings{Hüllermeier_1997, title={Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose}, booktitle={In Proceedings ASIM Fachgruppentagung Soft Computing}, author={Hüllermeier, Eyke}, editor={Möller, D.P.F. and Richter, O.Editors}, year={1997} }
LibreCat
1997 | Journal Article | LibreCat-ID: 16201
@article{Hüllermeier_1997, title={A new approach to modelling and simulation of uncertain dynamical systems}, volume={5}, number={2}, journal={International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems}, author={Hüllermeier, Eyke}, year={1997}, pages={117–137} }
LibreCat
1996 | Book Chapter | LibreCat-ID: 19816
@inbook{Kleine Büning_Lettmann_1996, place={Berlin, Heidelberg}, title={Learning a representation for optimizable formulas}, DOI={10.1007/3-540-61863-5_33}, booktitle={Lecture Notes in Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1996} }
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 15292
@inproceedings{Hüllermeier_1996, title={Approminate probabilistic reasoning with fuzzy constraints}, booktitle={in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1996} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 15293
@inproceedings{Hüllermeier_1996, title={A fuzzy simulation method}, booktitle={International Symposium on Soft Computing, Reading U.K.}, publisher={ICSC Academic Press}, author={Hüllermeier, Eyke}, editor={Anderson, P.G. and Warwick, K.Editors}, year={1996}, pages={B230–B236} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
@inproceedings{Hüllermeier_1996, title={Hierarchical constraint propagation based on interval arithmetic}, booktitle={in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg}, author={Hüllermeier, Eyke}, year={1996}, pages={54–55} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 15294
@inproceedings{Hüllermeier_1995, title={Towards modelling of fuzzy functions}, booktitle={in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1995}, pages={150–154} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 15295
@inproceedings{Hüllermeier_1995, title={Rule-based modelling in fuzzy simulation}, booktitle={in Proceedings ISFL-95 International Symposium on Logic, Zürich}, publisher={ICSC Academic Press}, author={Hüllermeier, Eyke}, year={1995}, pages={B49–B56} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 15305
@inproceedings{Hüllermeier_1995, title={Fuzzy polynomial and spline interpolation}, booktitle={in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin}, publisher={Gordon and Breach Publishers}, author={Hüllermeier, Eyke}, year={1995}, pages={401–404} }
LibreCat
1995 | Book Chapter | LibreCat-ID: 16236
@inbook{Hüllermeier_1995, title={Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung}, booktitle={Moderne Makroökonomie-Eine kritische Bestandsaufnahme}, publisher={Metropolis}, author={Hüllermeier, Eyke}, editor={Flemmig, J.Editor}, year={1995}, pages={413–454} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 15296
@inproceedings{Hüllermeier_1994, title={Approximate solution of a linear programming problem using a modified perceptron-algorithm.}, booktitle={in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1994}, pages={195–199} }
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence for subclasses of propositional logic}, DOI={10.1051/ita/1993270403271}, journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }
LibreCat
| DOI
1991 | Report | LibreCat-ID: 19822
@book{Dahn_Lettmann_Schönfeld_1991, place={´Heidelberg}, series={IWBS Report}, title={ILFA Interface Concept}, volume={193}, publisher={Wissenschaftliche Zentrum der IBM Deutschland }, author={Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang}, year={1991}, collection={IWBS Report} }
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={10.1016/0304-3975(89)90055-8}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 19820
@inproceedings{Kleine Büning_Lettmann_1988, place={Berlin, Heidelberg}, title={Perspektiven für die Logikprogrammierung}, booktitle={Workshop Wissensrepräsentation in Expertensystemen}, author={Kleine Büning, Hans and Lettmann, Theodor}, editor={Rahmstorf, G.Editor}, year={1988}, pages={56–78} }
LibreCat
1987 | Book Chapter | LibreCat-ID: 19821
@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={10.1007/3-540-18170-9_167}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 19819
@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={10.1007/3-540-16780-3_119}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }
LibreCat
| DOI
- 1
- 2
- 3
- 4 (current)
- 5