Skip to content
Toggle navigation
Skupni katalog
Nacionalna i sveučilišna knjižnica u Zagrebu
Hrvatsko katoličko sveučilište
Akademija dramske umjetnosti
Akademija likovnih umjetnosti
Biblijski institut
Arhitektonski fakultet, Građevinski fakultet, Geodetski fakultet
Fakultet organizacije i informatike
Fakultet elektrotehnike i računarstva
Fakultet kemijskog inženjerstva i tehnologije
Fakultet prometnih znanosti
Fakultet strojarstva i brodogradnje
Farmaceutsko-biokemijski fakultet
Fakultet filozofije i religijskih znanosti
Filozofski fakultet u Zagrebu
Grafički fakultet
Hrvatski državni arhiv
Klinički bolnički centar Zagreb: Medicinska knjižnica Jordanovac
Medicinski fakultet: Središnja medicinska knjižnica
Medicinski fakultet: Medicinska knjižnica Petrova
Medicinski fakultet: Medicinska knjižnica Rebro
Medicinski fakultet: Škola narodnog zdravlja Andrija Štampar
Metalurški fakultet, Sisak
PMF - Središnja kemijska knjižnica
PMF - Središnja biološka knjižnica
PMF - Središnja geofizička knjižnica
PMF - Središnja geografska knjižnica
PMF - Središnja geološka knjižnica
PMF - Središnja knjižnica za fiziku
Prehrambeno-biotehnološki fakultet
Pravni fakultet
Rudarsko-geološko-naftni fakultet
Stomatološki fakultet
Šumarski fakultet
Učiteljski fakultet: Središnjica u Zagrebu
Učiteljski fakultet: Odsjek u Čakovcu
Učiteljski fakultet: Odsjek u Petrinji
Brodarski institut
Ekonomski institut
Hrvatski institut za povijest
Hrvatski šumarski institut
Institut društvenih znanosti Ivo Pilar
Institut Ruđer Bošković
Institut za antropologiju
Institut za filozofiju
Institut za etnologiju i folkloristiku
Institut za fiziku
Institut za hrvatski jezik i jezikoslovlje
Institut za međunarodne odnose
Končar - institut za elektrotehniku
Staroslavenski institut
Veleučilište Karlovac
Veleučilište Velika Gorica
Sva polja
Naslov
Autor
Predmet
ISBN/ISSN
Pretraži
Složeno pretraživanje
Jezik
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
Hrvatski
Skupni katalog
Nacionalna i sveučilišna knjižnica u Zagrebu
Hrvatsko katoličko sveučilište
Akademija dramske umjetnosti
Akademija likovnih umjetnosti
Biblijski institut
Arhitektonski fakultet, Građevinski fakultet, Geodetski fakultet
Fakultet organizacije i informatike
Fakultet elektrotehnike i računarstva
Fakultet kemijskog inženjerstva i tehnologije
Fakultet prometnih znanosti
Fakultet strojarstva i brodogradnje
Farmaceutsko-biokemijski fakultet
Fakultet filozofije i religijskih znanosti
Filozofski fakultet u Zagrebu
Grafički fakultet
Hrvatski državni arhiv
Klinički bolnički centar Zagreb: Medicinska knjižnica Jordanovac
Medicinski fakultet: Središnja medicinska knjižnica
Medicinski fakultet: Medicinska knjižnica Petrova
Medicinski fakultet: Medicinska knjižnica Rebro
Medicinski fakultet: Škola narodnog zdravlja Andrija Štampar
Metalurški fakultet, Sisak
PMF - Središnja kemijska knjižnica
PMF - Središnja biološka knjižnica
PMF - Središnja geofizička knjižnica
PMF - Središnja geografska knjižnica
PMF - Središnja geološka knjižnica
PMF - Središnja knjižnica za fiziku
Prehrambeno-biotehnološki fakultet
Pravni fakultet
Rudarsko-geološko-naftni fakultet
Stomatološki fakultet
Šumarski fakultet
Učiteljski fakultet: Središnjica u Zagrebu
Učiteljski fakultet: Odsjek u Čakovcu
Učiteljski fakultet: Odsjek u Petrinji
Brodarski institut
Ekonomski institut
Hrvatski institut za povijest
Hrvatski šumarski institut
Institut društvenih znanosti Ivo Pilar
Institut Ruđer Bošković
Institut za antropologiju
Institut za filozofiju
Institut za etnologiju i folkloristiku
Institut za fiziku
Institut za hrvatski jezik i jezikoslovlje
Institut za međunarodne odnose
Končar - institut za elektrotehniku
Staroslavenski institut
Veleučilište Karlovac
Veleučilište Velika Gorica
Sva polja
Naslov
Autor
Predmet
ISBN/ISSN
Pretraži
Složeno pretraživanje
Autor
International Workshop on Automated Deduction in Geometry
Prikazuje se
1
-
5
od
5
za pretraživanje:
'International Workshop on Automated Deduction in Geometry'
, Upit obrađen za: 0.06s
Sortiranje
Relevantnost
Godina silazno
Godina uzlazno
Signatura
Autor
Naslov
Popis
Grid
1
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Impresum 2006
“
...
International
Workshop
on
Automated
Deduction
in
Geometry
...
”
Lokacija:
•
Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
2
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
Impresum 2004
“
...
International
Workshop
on
Automated
Deduction
in
Geometry
...
”
Lokacija:
•
Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
3
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Impresum 2001
“
...
International
Workshop
on
Automated
Deduction
in
Geometry
...
”
Lokacija:
•
Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
4
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
Impresum 1999
“
...
International
Workshop
on
Automated
Deduction
in
Geometry
...
”
Lokacija:
•
Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
5
Automated deduction in geometry :
International
Workshop
on
Automated
Deduction
in
Geometry
, Toulouse, France, September 27-29, 1996 : selected papers
Impresum 1998
“
...
International
Workshop
on
Automated
Deduction
in
Geometry
...
”
Lokacija:
•
Fakultet elektrotehnike i računarstva
Publisher description
Table of contents only
Knjiga
Alati za pretraživanje:
RSS Feed
—
Pretraživanje pošaljite e-poštom
Related Subjects
Automatic theorem proving
Data processing
Geometry
Logic, Symbolic and mathematical
Congresses
×
Učitavam...