Cita APA

Rocha, T. A. (2019). Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability.

Citación estilo Chicago

Rocha, Thiago Alves. Synthesis of First-order Sentences Using Ehrenfeucht–Fraïssé Games and Boolean Satisfiability. 2019.

Cita MLA

Rocha, Thiago Alves. Synthesis of First-order Sentences Using Ehrenfeucht–Fraïssé Games and Boolean Satisfiability. 2019.

Precaución: Estas citas no son 100% exactas.