Inhaltsverzeichnis nächster Punkt vorheriger Punkt

JAHRESBERICHT 1996

2.5.1 IfI-Reports 1996

Dietrich, J.:

On the compactness of nonmonotonic logics. Report 96-01

Möhrke, U.; Herrmann, P.; Schmidt, M.:

Das Xilinx-LCA-Format. Report Nr. 96-02

Schmidt, M.; Möhrke, U.; Herrmann, P.:

Verhaltensbeschreibung in der High-Level-Synthese. Report 96-03

Schmidt, M.; Möhrke, U.; Herrmann, P.:

VH2FG ein VHDL-nach-Flussgraph-Converter für CADDY. Report 96-04

Herre, H.; Wagner, G.:

Stable and Grounded Models of Extended Generalized Logic Programs. Report 96-05

Herre, H.; Wagner, G.:

Contributions to the Semantics of Generalized Logic Programs. Report 96-06

Herre, H.; Wagner, G.:

Stable Semantics of Temporal Deductive Databases. Report 96-07

Herre, H.; Wagner, G.:

Solving Practical Reasoning Problems with Extended Disjunctive Logigc Programming. Report 96-08

Herre, H.; Hofestädt, R.; Löffler, M.; Trefz, F. K. (Hrsg.):

Informationsverarbeitung in der Biomedizin. Workshop-Proceedings, Universität Leipzig. Report 96-09

Wagner, G.:

Vivid Agents: How They Deliberate, How they React, How They Are Verified. Report 96-10

Gräbe, H.-G.:

About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce. Report 96-11

Beckmann, A.; Sosna, D.:

Entwurf eines relationalen Schemas für ein Literaturverwaltungssystem. Report 96-12

Hering, K.:

Parallel Cycle Simulation. Report 96-13

Die erwähnten Berichte sind elektronisch im Postscript-Format über die World-Wide-Web-Einträge der Univ. Leipzig (Institut für Informatik) erhältlich.
(http://www.informatik.uni-leipzig.de/ifi/reports/reports.html)

	Seitenanfang
	Inhaltsverzeichnis
	2.5.2 Interne Berichte: Sonstige Berichte
	2.4.2 Veröffentlichungen: Beiträge in Büchern, Zeitschriften und Tagungsbänden