Dynamic logic /

other_versions_link
Opis bibliograficzny
1. autor: Harel, David
Kolejni autorzy: Kozen, Dexter ., Tiuryn, Jerzy .
Format: Printed Book
Język:English
Wydane: New Delhi : Prentice Hall of India , 2002.
Hasła przedmiotowe:
Mathamatical logic

Podobne zapisy