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
[1]
Hilfe
Suche: Author="King, J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Local rule mechanism for selecting icosahedral shell geometry
B. Berger
,
J. King
,
R. Schwartz
,
P.W. Shor
Discrete Applied Mathematics
104
(1-3), 2000, pp. 97-111
Interpretation oriented theorem prover over integers
J.C. King
,
R.W. Floyd
Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, STOC'70 (Northampton, MA, May 4-6, 1970)
, 1970, pp. 169-179