Inductive definitions in COLD-K

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Koymans, Christiaan Peter Jozef (VerfasserIn), Renardel de Lavalette, Gerard R. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Utrecht Dep. of Philosophy, Univ. of Utrecht 1989
Schriftenreihe:Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series 50
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge