|
Titel
|
Author
|
Year
|
Type
|
|
Software maintenance exercises for a software engineering project course
|
C.B. Engle and G.A. Ford and T.D. Korson
|
1989
|
Techreport
|
|
A Parsing System Based on a Deductive Database
|
Burkhard Freitag and Günther Specht
|
1989
|
Inproceedings
|
|
Handbook of Philosophical Logic: Topics in the Philosophy of Language
|
Gabbay, D. and Guenthner, F.
|
1989
|
Book
|
|
{K}omplexe {I}ndividuen in {R}eferentiellen {N}etzen
|
Carola Eschenbach
|
1989
|
Inproceedings
|
|
Abschlussbericht des {BMFT}-Projektes 3 b {LERNER}
|
Emde, Werner and Keller, Ingo and Kietz, Joerg-Uwe and Morik, Katharina and Thieme, Sabine and Wrobel, Stefan
|
1989
|
Techreport
|
|
Linear Paramodulation modulo Equality
|
Ulrich Furbacha and Steffen Hölldobler and Joachim Schreiber
|
1989
|
Inproceedings
|
|
{Z}ur {K}onstruktion einer geometrischen {S}zenenbeschreibung aus {S}tereobildfolgen unter {V}erwendung eines {ATMS}--{B}ildverarbeitung
|
Leonie Dreschler--Fischer and Carsten Schröder
|
1989
|
Inproceedings
|
|
Propagation of Temporally Indexed Values in Multiple Contexts
|
Oskar Dressler and Hartmut Freitag
|
1989
|
Inproceedings
|
|
Problem Solver control Over the {ATMS}
|
Oskar Dressler and Adam Farquhar
|
1989
|
Inproceedings
|
|
Modifying the Model Set during Diagnosis
|
Adam Farquhar
|
1989
|
Inproceedings
|
|
Consultation-independent learning in {BLIP}
|
Werner Emde and Katharina Morik
|
1989
|
Incollection
|
|
2. Arbeitstreffen der Fachgruppe Maschinelles Lernen
|
|
1989
|
Misc
|
|
An Inference Engine for Representing Multiple Theories
|
Emde, Werner
|
1989
|
Incollection
|
|
Lernen im geschlossenen Kreislauf
|
Emde, Werner
|
1989
|
Inproceedings
|
|
'Learning by Instruction' in Connectionist Systems
|
Diederich, J.
|
1989
|
Inproceedings
|
|
{P}rolog
|
Eikmeyer, H.--J.
|
1989
|
Inproceedings
|
|
Explanation of Probabilistic Inference
|
Elsaesser, C.
|
1989
|
Incollection
|
|
Explanation and Connectionsm
|
Joachim Diederich
|
1989
|
Inproceedings
|
|
Introduction to Montage Semantics
|
Dowty, David R. and Wall, Robert E. and Peters, Stanley
|
1989
|
Book
|
|
Neural Computers
|
|
1989
|
Book
|
|
A Hybrid Approach to Reasoning Under Uncertainty
|
D'Ambrosio, B.
|
1989
|
Incollection
|
|
A Critique of the Valiant Model
|
Wray Buntine
|
1989
|
Article
|
|
The Inductive Logic of Information Systems
|
Dalkey, N. C.
|
1989
|
Incollection
|
|
A guide to DB 2 a user's guide to the IBM product IBM DATABASE 2 (a relational database management system for the MVS environment) and its major companion products QMF, AS, CSP, etc.
|
Date, Christopher J. and White, Colin J.
|
1989
|
Book
|
|
{EQTHEOPOGLES}: A completion Theorem Prover for {PLIEQ}
|
Jörg Denzinger and Jürgen Müller
|
1989
|
Inproceedings
|
|
> Show next 25 entries (1575 ... )
|
