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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1996	Data partitioning and load balancing in parallel disk systems	Scheuermann, Peter; Weikum, Gerhard; Zabback, Peter
1996	Lösungseinflüsse auf die Eigenschaften transparenter leitfähiger Antimon-dotierter Zinndioxid-Schichten nach dem Sol-Gel Prozeß	Pütz, Jörg
1996	Some recognition results for INTARC 2.0	Weber, Hans; Spilker, Jörg; Görz, Günther
1996	What's in a word graph evaluation and enhancement of word lattices	Amtrup, Jan W.; Heine, Henrik; Jost, Uwe
1996	Pre-resonant Raman effect of CrO2-4 in a metasilicate glass	Ziemath, Ervino C.; Aegerter, Michel A.; Melo, F. E. A., u.a.
1996	Semantics-directed generation of compilers and abstract machines	Diehl, Stephan
1996	High Performance ATP Systems by Combining Several AI Methods	Denzinger, Jörg; Fuchs, Matthias; Fuchs, Marc
1996	WALDMEISTER : Development of a High Performance Completion-Based Theorem Prover	Buch, Arnim; Hillenbrand, Thomas
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.