First-order dynamic logic

Zugl.: Cambridge (Mass.), Massachusetts Inst. of Technology, Diss., 1978.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Harel, David (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 1979
Schriftenreihe:	Lecture notes in computer science 68
Schlagworte:	Logique symbolique et mathématique > Programmation (Informatique) > Récursivité, Théorie de la > Computer programming > Logic, Symbolic and mathematical > Recursion theory > Mathematische Logik > Programmierung > Logik > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!