Current Slide
Speaker notes:
Content Tools
Sources
There are currently no sources for this slide.
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
arbeitetIn(w,x) ∧ anstellung(w,z) ∧ {FEST}(z) ∧ Uni(x) ∧ Doktorand(y) ∧ betreutVon(y,w) → professorVon(w,y)ขั้นตอนต่อไป:
x
และ y
ถ้า x
และ y
ไม่ได้เชื่อมต่อในกราฟพึ่งพาคือมีเส้นทางระหว่างไม่มี x
และ y
แล้วเพิ่มในเรือ U(x,y)
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License