| Title: | GENERISANJE DOKAZA NEZADOVOLJIVOSTI U SMT REŠAVAČIMA |
| Author: | Pejić, Dragana |
| URI: | http://hdl.handle.net/123456789/5641 |
| Date: | 2023 |
| Files | Size | Format | View |
|---|---|---|---|
| v1_masterDraganaPejic.pdf | 394.2Kb |
View/ |
The following license files are associated with this item:
© Copyright 2008 Faculty of Mathematics, University of Belgrade
Address: Studentski trg 16
Phone: (+381) 011 2027 801
Fax: (+381) 011 2630 151
E-mail: matf@matf.bg.ac.yu
Bank account: 840-181 5666-68
PIB: 100046603
Educational and scientific institutions are encouraged to reproduce and distribute these materials for educational use free of charge as long as credit and notification are provided.
For any other purpose except educational or scientific, such as commercial etc, use of these materials is prohibited without prior written permission.
Readers may download papers for personal or educational or scientific use only, and not for any kind of commercial use.
Illustrations can be used only as a part of the papers and by no means can be reused for any purpose without the permission of the owner of the copyrights.