Suche
Kategorie
JGU Mainz (85458)
Uni Koblenz (18883)
18883 Treffer
×
Universität Koblenz
- Baumgartner, P.
- Theory Reasoning in Connection Calculi and the Linearizing Completion Approach
- 1996
- Baumgartner, Peter; Furbach, Ulrich
- Refinements for Restart Model Elimination
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996
- Baumgartner, Peter; Furbach, Ullrich
- Hyper Tableaux. Part I: Proof Procedure and Model Generation
- Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996
- Galmiche, Didier
- Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings
- Berlin: Springer 1997
- Furbach, Ulrich
- From Theorem Proving to Logic Programming
- Andreas Krall; Ulrich Geske (Hrsg). 11. Workshop Logische Programmierung WLP 1995: Technische Universität Wien, 27.-29. September 1995, Proceedings. Sankt Augustin: GMD-Forschungszentrum Informationstechnik 1995 S. 59 - 62
- Baumgartner, Peter; Furbach, Ullrich
- Lineare Vervollständigung für die Behandlung von Horntheorien: Research Report AIDA-94-02
- DFG-Colloquium ``Deduction´´. 1994
- Baumgartner, Peter; Furbach, Ullrich
- The Spectrum of Model Elimination Based Theorem Proving
- Proc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1994
- Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
- Applications of Theory Reasoning in Model Elimination
- Peter Baumgartner; H.-J. Bürckert; Hubert Comon; Alan M. Frisch; Ulrich Furbach; Nil Murray; Uwe Petermann; Mark Stickel (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994 S. 7 - 14
- Schrapper, C.; Kreft, D.; Milenz, I.
- "Sozialpädagogische Diagnosen und Fallverstehen" (i.E.)
- Kreft, D.; Milenz, I. (Hrsg). Wörterbuch der sozialen Arbeit. Neuwied/ Kriftel: Luchterhand Neuwied/ Kriftel
- Fegert, Jörg M.; Schrapper, Christian
- Handbuch Jugendhilfe - Jugendpsychiatrie
- Weinheim [u.a.]: Juventa-Verl. 2004 624 S.