Laddar...

Dynamic logic /

Bibliografiska uppgifter
Huvudupphovsman: Harel, David
Övriga upphovsmän: Kozen , Dexter, Tiuryn, Jerzy
Språk:Undetermined
Publicerad: New Delhi : Prentice Hall of India , 2000.
Ämnen:

University of Kerala

Beståndsuppgifter i University of Kerala
Signum: D6513:3:(R1) P0
Exemplar Status otillgänglig