On parallel programming methodology in GHC experience in programming of a proof procedure of temporal logic

Bibliographische Detailangaben

Hauptverfasser:	Takahashi, Kazuko (VerfasserIn), Kanamori, Tadashi (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1986
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 171
Schlagworte:	Logic programming Modality (Logic) Parallel programming (Computer science)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!