Automated theorem proving
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:47489/Similar |
|---|---|
| Glavni autor: | Newborn, Monroe (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
New York :
Springer,
2001.
|
| Predmet: |
APA stil citiranja
Newborn, M. (2001). Automated theorem proving: Automated theorem proving : theory and practice. New York: Springer.
Chicago stil citiranjaNewborn, Monroe. Automated theorem proving: Automated theorem proving : theory and practice. New York: Springer, 2001.
MLA stil citiranjaNewborn, Monroe. Automated theorem proving: Automated theorem proving : theory and practice. New York: Springer, 2001.