Jedan metod za automatsko dokazivanje teorema geometrije

eLibrary

 
 

Jedan metod za automatsko dokazivanje teorema geometrije

Show simple item record

dc.contributor.author Janičić, Predrag
dc.date.accessioned 2015-10-02T08:37:35Z
dc.date.available 2015-10-02T08:37:35Z
dc.date.issued 1996
dc.identifier.uri http://hdl.handle.net/123456789/4080
dc.description.provenance Submitted by Slavisha Milisavljevic (slavisha) on 2015-10-02T08:37:35Z No. of bitstreams: 1 Dokazivanje.PDF: 1164254 bytes, checksum: 44e696548a22f8f2d4fa22793e9e8c9d (MD5) en
dc.description.provenance Made available in DSpace on 2015-10-02T08:37:35Z (GMT). No. of bitstreams: 1 Dokazivanje.PDF: 1164254 bytes, checksum: 44e696548a22f8f2d4fa22793e9e8c9d (MD5) Previous issue date: 1996 en
dc.format.medium A4 en_US
dc.language.iso sr en_US
dc.publisher Beograd en_US
dc.title Jedan metod za automatsko dokazivanje teorema geometrije en_US
mf.document.pages 67 en_US
mf.contributor.editor-in-chief Lučić, Zoran

Files in this item

Files Size Format View
Dokazivanje.PDF 1.164Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record