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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1996	Structural translation with synchronous tree adjoining grammars in VERBMOBIL	Harbusch, Karin; Poller, Peter
1996	Elektrophoretische Abscheidung von submicron-SiC-Pulvern mit partikulären Sinteradditiven aus nichtwäßrigen Schlickern	Meisel, Reiner L.; Nass, Rüdiger; Schmidt, Helmut K.
1996	29Si NMR investigation of condensation reactions of diphenylsilanediol in presence of Ti-, Zr-, Al-, Sn- and Si-alkoxides	Hoebbel, Dagobert; Reinert, Thomas; Schmidt, Helmut K.
1996	Relevance of sol-gel methods for synthesis of fine particles	Schmidt, Helmut K.
1996	Conception and application possibilities of classification concordances in an OPAC environment	Zimmermann, Harald H.
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