Εθνικό Μετσόβιο Πολυτεχνείο Εργασία Εμβιομηχανικής - Βιοϊατρικής Τεχνολογίας
Inference in first-order logic
LUCID status
1. Metalation of p -Excessive Heteroaromatics