|
|
 |
|
|
|
|
| Detalji |
| Šifra: |
00980501 |
| Naziv projekta: |
Automatizirano rasuđivanje |
| Godina: |
1996. - lipanj 2002. |
| Područje: |
Tehničke znanosti |
Prosudbena
skupina: |
Računarstvo |
| Glavni
istraživač: |
Nikola Bogunović |
| Ustanova: |
Institut "Ruđer Bošković", Zagreb |
| Ključne
riječi: |
automatizirano rasuĐivanje, dokazivanje teorema, induktivno strojno učenje, |
| URL: |
http://lelpc1.irb.hr |
| E-pošta: |
nikolabo@faust.irb.hr |
| Telefon: |
4680-220 |
| Suradnici: |
| Tomislav Šmuc |
Istraživač |
| Ivan Marić |
Istraživač |
| Dragan Gamberger |
Istraživač |
| Gordan Bosanac |
Znanstveni novak |
|
Znanstvena
bibliografija: |
http://bib.irb.hr/lista-radova?sif_teme=00980501&period=1996 |
| English |
| Project Title: |
Automated reasoning in modeling, optimization and diagnostics of technical systems |
| Area: |
Technical Sciences |
| Peer review group: |
Computer Science |
| Institution: |
Ruđer Bošković Institute, Zagreb |
| Keywords: |
automated reasoning, theorem proving, inductive machine learning, flow meas |
|
|
|
|
|
Obavještavamo glavne istraživače da ukoliko imaju primjedbe na dijelove
teksta (naziv projekta - hrvatski i engleski, ključne riječi - hrvatski
i engleski, web, e-mail, telefon) ili ih žele nadopuniti, ispravke mogu
poslati elektroničkom poštom na adresu zprojekti-arhiva@mzos.hr |
