Megjelenítés: 1 - 2 / 2 - kulcsszavak: 'Harel, David (1950-)', keresési idő: 0.01mp Találatok szűrése
1
First-order dynamic logic
Szerző: Harel, David (1950-)
Megjelenés: 1979
könyv
Mentés a listára
Mentés helye:
2
Algorithmics : The spirit of computing
Szerző: Harel, David (1950-)
Megjelenés: 1987
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —