Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Lichtenberger, F."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An Application of Knowledge-Base Technology in Education: A Geometry Theorem Prover
M. Hadzikadic
,
F. Lichtenberger
,
D.Y.Y. Yun
Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation
, 1986, July, pp. 141-147
Speeding up algorithms on graphs by using computer trees
F. Lichtenberger
Applied Computer Science
13
, 1979, pp. 65-79