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: Journal=J. Symbolic Computation AND YEAR=1993
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Logic program synthesis from incomplete specifications
Pierre Flener
,
Yves Deville
Journal Symbolic Computation
15
(5-6), 1993, pp. 775-805
Synthesis of real time acceptors
Amr F. Fahmy
,
Alan W. Biermann
Journal Symbolic Computation
15
(5-6), 1993, pp. 807-842
Seiten
<
1
2
3
4