Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1996	How to Prove Ground Confluence	Becker, Klaus
1996	Evolving Combinators	Fuchs, Matthias
1996	Towards Full Automation of Deduction : A Case Study	Fuchs, Matthias
1996	When to Prove Theorems by Analogy?	Melis, Erica
1996	Analogy in Verification of State-Based Specifications : First Results	Melis, Erica; Sengler, Claus
1996	Proving Ground Completeness of Resolution by Proof Planning	Kerber, Manfred; Sehn, Arthur Christian
1996	Inference Rights for Controlling Search in Generating Theorem Provers	Fuchs, Dirk
1996	Island Planning and Refinement	Melis, Erica
1996	A Unifying Logical Framework for Reason Maintenance	Fehrer, Detlef
1996	The Mechanization of the Diagonalization Proof Strategy	Cheikhrouhou, Lassaad
1995	Generating analyzers with PAG	Alt, Martin; Martin, Florian; Wilhelm, Reinhard
1995	Value-added coding of electronic dictionaries for the LOGOS machine translation system	Zimmermann, Harald H.
1995	Automatic generation of a compiler and an abstract machine for action notation	Diehl, Stephan
1995	Novel fabrication process of planar waveguides in rare-earth doped fluoroindate glasses	Melo, R.P. de; Silva, B.J.P. da; Falcao-Filho, E.L., u.a.
1995	"Where and when?" Aussprache, Dialogverhalten und andere linguistische Phänomene deutscher Sprecher in englischsprachigen Dialogen zur VERBMOBIL-Terminabsprache	Faust, Lioba
1995	Untersuchungen zur Konsistenz prosodischer Etikettierungen	Reyelt, Matthias
1995	Plan recognition in verbmobil	Alexandersson, Jan
1995	Filled pauses in spontaneous speech	Batliner, Anton; Kießling, Andreas; Burger, Susanne, u.a.
1995	Contrastive accents : how to get them and what do they look like	Haas, Jürgen; Kießling, Andreas; Nöth, Elmar, u.a.
1995	Prozedurale Anforderungen an die maschinelle Sprachverarbeitung : Workshop während der Jahrestagung KI-94 Saarbrücken	-