Friedman, D. P., Eastlund, C., Bibby, D., Moore, J. S., & Felleisen, M. (2015). The little prover. The MIT Press.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
Friedman, Daniel P., Carl Eastlund, Duane Bibby, J. Strother Moore, a Matthias Felleisen. The Little Prover. Cambridge, Massachusetts ; London, [England]: The MIT Press, 2015.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle MLA (9th ed.)
Friedman, Daniel P., et al. The Little Prover. The MIT Press, 2015.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..