MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "DFG-Schwerpunktprogramm "Netzbasierte Wissenskommunikation in Gruppen"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

285 documents found, showing 1 through 10. Next 10 →

ATOM

Common Syntax of the DFG-Schwerpunktprogramm "Deduktion"
by Reiner Hahnle Fakultat, Reiner Hahnle, Fakultat Fur Informatik, Manfred Kerber, Christoph Weidenbach, Im Stadtwald — 1996 — HLS + 96] Dieter Hutter, Bruno Langenstein, Claus Sengler, Jorg
…Common Syntax of the DFG-Schwerpunktprogramm "Deduktion" Reiner Hahnle Fakultat fur Informatik…
Add To MetaCart

Common Syntax of the DFG-Schwerpunktprogramm Deduktion - Version 1.2
by Reiner Hähnle, Fakultat Fur Informatik, Manfred Kerber, Christoph Weidenbach, Im Stadtwald — 1996 — HLS + 96] Dieter Hutter, Bruno Langenstein, Claus Sengler, Jorg
…Common Syntax of the DFG-Schwerpunktprogramm Deduktion Version 1.2 Reiner Hahnle Fakultat fur…
Cited by 14 (1 self) – Add To MetaCart

Common Syntax of the DFG-Schwerpunktprogramm DeduktionVersion 1.5
by unknown authors
… Common Syntax of the DFG-Schwerpunktprogramm DeduktionVersion 1.5 Reiner H"ahnleFakult"at f…
Add To MetaCart

α Isabelle’s Logics: HOL 1
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel — 2008
…) and by the DFG Schwerpunktprogramm Deduktion. 2 Institut für Informatik, Technische Universität München, nipkow…
Add To MetaCart

Langevin Dynamics Simulations of Macromolecules on Parallel Computers
by Bernd Jung, Hans--peter Lenhof, Peter Muller, Christine Rub — 1996
… with sequential simulations. This work is supported by the DFG--Schwerpunktprogramm "Effiziente Algorithmen fur…
Cited by 4 (0 self) – Add To MetaCart

Parallel Algorithms for MD-Simulations of Synthetic Polymers
by Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb, Christine Rub — 1997
… faster simulation of their dynamics. This work is supported by the DFG--Schwerpunktprogramm "Effiziente…
Add To MetaCart

REDLOG Computer Algebra Meets Computer Logic
by Andreas Dolzmann, Thomas Sturm — 1996 — ACM SIGSAM Bulletin
…, and explain the design issues and implementation techniques. ? The second author was supported by the dfg…
Cited by 68 (28 self) – Add To MetaCart

Model semantics and simulation of time scale abstractions in collision models
by Pieter J. Mosterman, Jan F. Broenink Y, Gautam Biswas Z — 1998 — in: Proc. Eurosim-98
…, simulation Pieter J. Mosterman is supported by a grant from the DFG Schwerpunktprogramm KONDISK. y Jan F…
Cited by 1 (1 self) – Add To MetaCart

Kontrolltheorie auf Lie-Gruppen
by Dirk Mittenhuber, Kontrolltheoretische Grundlagen — 1991
…Seminar Sophus Lie 1 (1991) 185--191 Kontrolltheorie auf Lie-Gruppen Dirk Mittenhuber…
Add To MetaCart

Wirkungen von Lie Algebren und Lie Gruppen
by W. Michor
…Peter Michor Endbericht 1999 zum Projekt P 10037 PHY: Wirkungen von Lie Algebren und Lie Gruppen…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB