TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - A context-based framework for default logics
Y1  - 1993
SN  - 0-262-51071-5
ER  - 
TY  - JOUR
A1  - Schubert, Wolfgang
A1  - Glöde, Dirk
A1  - Hegewald, Eberhard
A1  - Koutzevlov, Atanas
T1  - ESF-Abschlußbericht
Y1  - 1994
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Richter, Peter
T1  - Efficient shortest path algorithms for road traffic optimization
Y1  - 1994
ER  - 
TY  - BOOK
A1  - Schröder-Preikschat, Wolfgang
T1  - The logical design of parallel operating systems
Y1  - 1994
PB  - Prentice Hall International
CY  - Englewood Cliffs
ER  - 
TY  - JOUR
A1  - Schröder-Preikschat, Wolfgang
T1  - PEACE - software backplane for parallel computing
Y1  - 1994
ER  - 
TY  - JOUR
A1  - Sommerfeld, Erdmute
T1  - Operations on cognitive structures : their modelling on the basis of graph theory
Y1  - 1994
ER  - 
TY  - BOOK
A1  - Bartl, Peter
T1  - Sachbericht zum Vorgängerprojekt von MOSVO
Y1  - 1994
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
A1  - Pradhan, D. K.
T1  - Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization
Y1  - 1994
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
T1  - Ein effizientes Verfahren für die Logikvertifikation
Y1  - 1994
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
T1  - Ein neuer Ansatz für die Optimierung mehrstufiger loischer Schaltungen
Y1  - 1994
ER  -