Dynamic logic /

other_versions_link
Bibliografiset tiedot
Päätekijä: Harel, David
Muut tekijät: Kozen, Dexter ., Tiuryn, Jerzy .
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: New Delhi : Prentice Hall of India , 2002.
Aiheet:
Mathamatical logic

Samankaltaisia teoksia