Stem socrat$ (all stems)

3 papers:

DUXU-v1-2011-Matthiessen #design #education

Socratic Dialogue in Design Education (NM), pp. 94–101.

VLDB-1999-CarinoOBS #database

Active Storage Hierarchy, Database Systems and Applications — Socratic Exegesis (FC, WO, JGB, JHS), pp. 611–614.

DAC-1986-GregoryBGH #automation #logic #named #optimisation

SOCRATES: a system for automatically synthesizing and optimizing combinational logic (DG, KAB, AJdG, GDH), pp. 79–85.