Recursion induction principle revisited:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Boudol, Gérard (VerfasserIn), Kott, Laurent (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: LeChesnay 1982
Schriftenreihe:Institut National de Recherche en Informatique et en Automatique <Rocquencourt>: Rapports de recherche 115
Institut de Recherche en Informatique et Systèmes Aléatoires <Rennes>: Publications internes IRISA 156
Beschreibung:48 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!