%0 Generic
%T Formalizing fixed-point theory in PVS
%A Bartels, Falk
%A Dold, Axel
%A Pfeifer, Holger
%A Henke, Friedrich Wilhelm von
%A Rueß, Harald
%I Universität Ulm
%@ 1651370826
%K Fixed point theory
%K DDC 004 / Data processing & computer science
%K Theoretische Informatik
%K Fixpunkttheorie
%D 2016-03-15T11:04:17Z
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Universität Ulm
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation