GENERISANJE DOKAZA NEZADOVOLJIVOSTI U SMT REŠAVAČIMA

eBibliothek Repositorium

 
 

GENERISANJE DOKAZA NEZADOVOLJIVOSTI U SMT REŠAVAČIMA

Zur Kurzanzeige

dc.contributor.author Pejić, Dragana
dc.contributor.editor Marić, Filip
dc.contributor.editor Stojanović Đurđević, Sana
dc.date.accessioned 2024-02-12T15:08:00Z
dc.date.available 2024-02-12T15:08:00Z
dc.date.issued 2023
dc.identifier.uri http://hdl.handle.net/123456789/5641
dc.description.provenance Submitted by Slavisha Milisavljevic (slavisha) on 2024-02-12T15:08:00Z No. of bitstreams: 1 v1_masterDraganaPejic.pdf: 394250 bytes, checksum: f593af0e77dae87d3cd38f0f47e00955 (MD5) en
dc.description.provenance Made available in DSpace on 2024-02-12T15:08:00Z (GMT). No. of bitstreams: 1 v1_masterDraganaPejic.pdf: 394250 bytes, checksum: f593af0e77dae87d3cd38f0f47e00955 (MD5) Previous issue date: 2023 en
dc.format.medium A4 en_US
dc.language.iso sr en_US
dc.publisher Beograd en_US
dc.title GENERISANJE DOKAZA NEZADOVOLJIVOSTI U SMT REŠAVAČIMA en_US
mf.document.pages 50 en_US
mf.contributor.editor-in-chief Banković, Milan

Dateien zu dieser Ressource

Dateien Größe Format Anzeige
v1_masterDraganaPejic.pdf 394.2Kb PDF Öffnen

Das Dokument erscheint in:

Zur Kurzanzeige