EQP
Kapcsolódó fogalmak:
elsőrendű logika
Kapcsolódó fogalmak:
OTTER tételbizonyító
Kapcsolódó linkek:
EQP - A hozzászóláshoz bejelentkezés szükséges
- Nyomtatóbarát változat