Colocation Rule: Model-Theoretic Semantics via Consequence Generation

Vorherige Folie Nächste Folie Zurück zur ersten Folie Graphik-Version anzeigen