The following pages link to Haim Kilov (Q218145):
Displaying 10 items.
- Origins of mind (Q360525) (← links)
- Limits of computation. From a programming perspective (Q518688) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Specification of software systems. (Q625100) (← links)
- (Q1188661) (redirect page) (← links)
- VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings (Q1188662) (← links)
- Correctness, explanation and intention (Q2179349) (← links)
- Evaluating Philosophies (Q2840490) (← links)
- Matter and Mind (Q2881339) (← links)
- Back to basics (Q5950354) (← links)