Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.

Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.

Publikationen des Instituts für Künstliche Intelligenz

Jahr  
Alle :: 1996, 1997

Autor


Alle :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
Alle :: Calemis, ... , Christopher Beck, Claes, Cleve, Cyrluk

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

1997

2.
default
Cyrluk, David; Möller, Oliver; Rueß, Harald
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors
Computer Aided Verification - 9th International Conference, (CAV '97) Band 1254 , Seite 60--71.
Herausgeber: Springer Berlin Heidelberg,
1997

1996

1.
default
Cyrluk, David; Möller, Oliver; Rueß, Harald
An Efficient Decision Procedure for a Theory of Fixed-Sized Bitvectors with Composition and Extraction
Ulmer Informatik-Berichte
Dokument Nummer: 96-8
1996
Export als: BibTeX, XML