Dynamic logic /

other_versions_link
Bibliografische gegevens
Hoofdauteur: Harel, David
Andere auteurs: Kozen, Dexter ., Tiuryn, Jerzy .
Formaat: Printed Book
Taal:English
Gepubliceerd in: New Delhi : Prentice Hall of India , 2002.
Onderwerpen:
Mathamatical logic

Gelijkaardige items