Egly, Uwe
Egly, Uwe, 1960-
Uwe Egly rakouská profesorka informatiky
VIAF ID: 80368589 ( Personal )
Permalink: http://viaf.org/viaf/80368589
Preferred Forms
- 100 1 _ ‡a Egly, Uwe
- 100 1 _ ‡a Egly, Uwe
-
-
- 100 1 _ ‡a Egly, Uwe ‡d 1960-
- 100 1 _ ‡a Egly, Uwe, ‡d 1960-
-
-
-
- 100 0 _ ‡a Uwe Egly ‡c rakouská profesorka informatiky
4xx's: Alternate Name Forms (3)
5xx's: Related Names (5)
- 510 2 _ ‡a Gesellschaft für Mathematik und Datenverarbeitung
- 510 2 _ ‡a TABLEAUX 2002 (2002 : Copenhagen, Denmark)
- 510 2 _ ‡a Technische Hochschule Darmstadt
- 510 2 _ ‡a Technische Universität Wien ‡e Affiliation
- 510 2 _ ‡a Technische Universität Wien
Works
Title | Sources |
---|---|
Automated reasoning with analytic tableaux and related methods international conference ; tableaux 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings | |
generalized factorization rule based on the introduction of Skolem terms | |
Handlungsplanung unter Unsicherheit - ein Einstieg in die Literatur | |
methods of function introduction and related concepts | |
Problem reduction methods and clause splitting in automated theorem proving | |
Theory and Applications of Satisfiability Testing – SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings |