TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 31.

Bibel, Wolfgang (2002)
Bedeutung und Ursprünge der Intellektik.
In: KI, Künstliche Intelligenz
Artikel, Bibliographie

Bibel, Wolfgang (2002)
Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland - Rückblick und Zukunftsperspektiven.
In: KI, Künstliche Intelligenz
Artikel, Bibliographie

Bibel, Wolfgang (2002)
Intellektik.
In: 30 Jahre Informatik an deutschen Hochschulen: Festschrift
Buchkapitel, Bibliographie

Pratihar, Dilip Kumar ; Bibel, Wolfgang (2002)
Path planning for cooperating robots using a GA-fuzzy approach.
Konferenzveröffentlichung, Bibliographie

Bibel, Wolfgang (2001)
Alles klar? Logisch! (Leserbrief zu Artikeln von J.R. Searle).
In: Die Zeit
Artikel, Bibliographie

Bibel, Wolfgang ; Grieser, G. (2001)
Maschinelles Lernen und Automatische Reflexion.
In: Thema Forschung
Artikel, Bibliographie

Bibel, Wolfgang (2001)
Stellungnahme zum Lehrplan Mathematik.
In: Elternbrief : Eltern informieren Eltern, 122
Artikel, Bibliographie

Bibel, Wolfgang (2000)
AI's greatest trends and controversies.
In: IEEE intelligent systems, 15
Artikel, Bibliographie

Bibel, Wolfgang (2000)
Fachgebiet Intellektik.
In: Informationen zu den Studiengängen Informatik an der TUD. - Darmstadt: Techn. Univ., FB Informatik, 2000. S. 39-42
Buchkapitel, Bibliographie

Bibel, Wolfgang ; Flener, P. ; Lau, K.-K. (2000)
Foreword.
In: Journal of symbolic computation, 30
Artikel, Bibliographie

Hrsg.: Bibel, Wolfgang (1998)
Automated deduction: a basis for applications. Vol. 1: Foundations, calculi and methods.
Buch, Bibliographie

Hrsg.: Bibel, Wolfgang (1998)
Automated deduction: a basis for applications. Vol. 2: Systems and implementation techniques.
Buch, Bibliographie

Hrsg.: Bibel, Wolfgang (1998)
Automated deduction: a basis for applications. Vol. 3: Applications.
Buch, Bibliographie

Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245, Auflage: Dordrecht: Kluwer Acad. Publ., 1998
Buchkapitel, Bibliographie

Bibel, Wolfgang (1998)
DFG Schwerpunktprogramm 'Deduktion'.
In: Künstliche Intelligenz: KI. 1998, 4, S. 38-40
Artikel, Bibliographie

Bibel, Wolfgang (1998)
Let's plan it deductively!
In: Artificial intelligence. 103 (1998), 1-2, S. 183-208
Artikel, Bibliographie

Henhapl, Wolfgang ; Anderl, Reiner ; Buchmann, Alejandro ; Bibel, Wolfgang ; Lux, Gregor ; Philipp, Martin ; Roßnagel, A. ; Sandner, Enno ; Schroeder, Ulrik (1998)
Perspektiven für MUSE: Fachübergreifende Modellierungsmethodik.
Report, Bibliographie

Schroeder, Ulrik ; Bibel, Wolfgang ; Buchmann, Alejandro (1998)
Perspektiven für MUSE: Konsistenzsicherung.
Report, Bibliographie

Henhapl, Wolfgang ; Anderl, Reiner ; Bibel, Wolfgang ; Lux, Gregor ; Philipp, Martin ; Sandner, Enno (1998)
Perspektiven für MUSE: das Metamodell.
Report, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
Hrsg.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications
Buchkapitel, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
Hrsg.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications
Buchkapitel, Bibliographie

Kolbe, Thomas ; Walther, Christoph
Hrsg.: Bibel, Wolfgang (1998)
Proof Analysis, Generalization and Reuse.
In: Automated deduction: a basis for applications. Bd.2 Systems and implementation techniques
doi: 10.1007/978-94-017-0435-9
Buchkapitel, Bibliographie

Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
Hrsg.: Bibel, Wolfgang (1998)
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Volume III Applications
doi: 10.1007/978-94-017-0437-3
Buchkapitel, Bibliographie

Bibel, Wolfgang (1997)
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
In: Journal of the ACM. 44 (1997), S. 320-344
Artikel, Bibliographie

Bibel, Wolfgang (1997)
Deduction as a cross-sectional technology: The DFG focus programme on deduction.
In: Informatik'97: Informatik aktuell. Hrsg.: M. Jarke (u.a.) S. 29-40, Auflage: Berlin, Heidelberg (u.a.): Springer, 1997
Buchkapitel, Bibliographie

Bibel, Wolfgang (1997)
Let's plan it deductively!
Konferenzveröffentlichung, Bibliographie

Bibel, Wolfgang ; Thielscher, (1996)
Non-classical automated deduction.
In: Trends in theoretical informatics. Hrsg.: R. Albrecht (u.a.) - München: Oldenbourg, 1996. S. 39-59
Buchkapitel, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems. Hrsg.: J. Calmet (u.a.) . Berlin (u.a.): Springer, 1996
Buchkapitel, Bibliographie

Bibel, Wolfgang (1995)
Dimensionen der Inferenz: die andere Basis wissensbasierter Systeme.
In: Methoden der Künstlichen Intelligenz für Grafikanwendungen. Hrsg.: F. DiPrimio. - Bonn, Paris: Addison-Wesley, 1995. S. 3-22, Auflage: Bonn, Paris: Addison-Wesley, 1995
Buchkapitel, Bibliographie

Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, (1995)
Issues in theorem proving based on the connection method.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 19 03:11:02 2024 CET generiert.