APA (7th ed.) Citation

Frade, M. J. (1998). Sebenta prática de elementos lógicos da programação I: Guiões das sessões laboratoriais no sistema Isabelle.

Chicago Style (17th ed.) Citation

Frade, M. J. Sebenta Prática De Elementos Lógicos Da Programação I: Guiões Das Sessões Laboratoriais No Sistema Isabelle. 1998.

MLA (8th ed.) Citation

Frade, M. J. Sebenta Prática De Elementos Lógicos Da Programação I: Guiões Das Sessões Laboratoriais No Sistema Isabelle. 1998.

Warning: These citations may not always be 100% accurate.