Skip to contents Schwichtenberg, Helmut [Editor] ; Advanced Study Institute on Proof and Computation 1993 Marktoberdorf Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: NATO: NATO ASI series / F ; 139
Schwichtenberg, Helmut [Editor] ; Advanced Study Institute on Proof and Computation 1993 Marktoberdorf Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: NATO: NATO ASI series / F ; 139
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Advanced Study Institute on Proof and Computation 1993 Marktoberdorf (1) Wert ausschließen Schwichtenberg, Helmut (1) Wert ausschließen Show more show less