Digitale Bibliotheek |
|
||||||||||||||||||||||||||||
Sluiten | Bladeren door artikelen uit een tijdschrift | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Tijdschrift beschrijving | |||||||||||||||||||||||||||||
Alle jaargangen van het bijbehorende tijdschrift | |||||||||||||||||||||||||||||
Alle afleveringen van het bijbehorende jaargang | |||||||||||||||||||||||||||||
Alle artikelen van de bijbehorende aflevering | |||||||||||||||||||||||||||||
Details van artikel 8 van 46 gevonden artikelen
|
|||||||||||||||||||||||||||||
Book Review Dynamic Logic. By D. Harel, D. Kozen, and J. Tiuren. MIT Press, Cambridge, MA 2000. xv 459 pp. ISBN 0-262-08289-6 |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details van artikel 8 van 46 gevonden artikelen
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland |